Skip to content
This repository was archived by the owner on Jan 6, 2023. It is now read-only.

Commit 0b0a34a

Browse files
authored
Update README.md
1 parent e3316a0 commit 0b0a34a

File tree

1 file changed

+6
-0
lines changed

1 file changed

+6
-0
lines changed

README.md

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,9 @@
1+
### STATUS NOTE
2+
3+
Peridot is no longer being maintained. The research paper may be updated as I am suggested improvements or come up with them, but the implementation is no longer being worked on. My current project is [SynthML](https://github.com/eashanhatti/SynthML).
4+
5+
---
6+
17
An experimental language for exploring the practical applications of two level type theory.
28

39
Discussion takes place on the [r/ProgrammingLanguages Discord server](https://discord.gg/jFZ8JyUNtn) in the #peridot channel.

0 commit comments

Comments
 (0)