Nota is a language for writing documents, like academic papers and blog posts. The goal of Nota is to bring documents into the 21st century.
Note (2023-10-19): Nota is undergoing a significant rewrite, so this repo will be stale for at least few months. Check back in around Spring 2024!
If you're curious what I've been up to, check out my POPL 2024 paper "A Core Calculus for Documents".
For instructions on how to setup and use Nota, visit: https://nota-lang.org/
If you encounter an issue or have a proposed feature, you can either comment on a tracking issue below or create a new issue:
- Nota installation and build pipeline
- Nota editor
- Nota components
- Nota syntax
- Bikeshed emporium (for small nits / naming issues)
If you would like to contribute to Nota, see CONTRIBUTING.md.