Skip to content

Commit

Permalink
Update README.md
Browse files Browse the repository at this point in the history
  • Loading branch information
@willcrichton
willcrichton authored Jul 11, 2024
1 parent 916a636 commit 9eb0926
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@

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

Expand Down

0 comments on commit 9eb0926

Please sign in to comment.