Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
64 changes: 0 additions & 64 deletions docs/docs-intro/index.mdx

This file was deleted.

19 changes: 3 additions & 16 deletions docusaurus.config.js
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,8 @@ const lightCodeTheme = require("prism-react-renderer/themes/shadesOfPurple");
/** @type {import('@docusaurus/types').Config} */
const config = {
title: "NeoHaskell",
tagline: "A Haskell dialect to think less and do more",
tagline:
"Model requests, decisions, events, and views so current state has an explainable history.",
favicon: "img/favicon.ico",

// Set the production url of your site here
Expand Down Expand Up @@ -71,15 +72,7 @@ const config = {
"classic",
/** @type {import('@docusaurus/preset-classic').Options} */
({
docs: {
sidebarPath: require.resolve("./sidebars.js"),
// Please change this to your repo.
// Remove this to remove the "edit this page" links.
editUrl:
"https://github.com/neohaskell/neohaskell.github.io/tree/main/",
remarkPlugins: [math],
rehypePlugins: [katex],
},
docs: false,
blog: {
path: "blog/nhep/nhep",
exclude: ["README.md"],
Expand Down Expand Up @@ -115,12 +108,6 @@ const config = {
src: "img/logo.svg",
},
items: [
{
type: "docSidebar",
sidebarId: "tutorialSidebar",
position: "left",
label: "Support Us!",
},
{
href: "https://github.com/neohaskell/",
label: "GitHub",
Expand Down
2 changes: 1 addition & 1 deletion drafts/new-project.mdx
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ import Badge from "@site/src/components/Badge";

:::caution
The documentation that you're reading is a design document where most of
the features you're reading are yet to be implemented. Check the [Note on the Docs](/docs/docs-intro)
the features described are yet to be implemented.
:::

Trying stuff in the REPL is cool and all that, but if you want to build something
Expand Down
Loading
Loading