Skip to content

Commit

Permalink
Add note to README
Browse files Browse the repository at this point in the history
  • Loading branch information
willcrichton committed Oct 20, 2023
1 parent b579a1a commit 67ef790
Showing 1 changed file with 5 additions and 0 deletions.
5 changes: 5 additions & 0 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -4,6 +4,11 @@

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"](https://arxiv.org/abs/2310.04368).


## Installation and Usage

For instructions on how to setup and use Nota, visit: https://nota-lang.org/
Expand Down

0 comments on commit 67ef790

Please sign in to comment.