Awesome
Nota: A Document Language for the Browser
<!-- [](https://github.com/nota-lang/nota/actions/workflows/ci.yaml) -->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 Fall 2024!
If you're curious what I've been up to, check out my POPL 2024 paper "A Core Calculus for Documents".
Installation and Usage
For instructions on how to setup and use Nota, visit: https://nota-lang.org/
Feedback
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)
Contributing
If you would like to contribute to Nota, see CONTRIBUTING.md.