search

pikelet-lang / pikelet

A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
https://pikelet-lang.github.io/pikelet/
Apache License 2.0
610 stars 26 forks source link

Move back to using mdBook for documantation #232

Closed brendanzab closed 3 years ago

brendanzab commented 3 years ago

mdBook seems somewhat simpler and more lightweight than Docusaurus, so I’m thinking it might just be good to go with it for now! It also has support for preprocessors which could be handy if we want to generated some sort of hyperlinked language specification.