This directory contains experiments that helped us along the path to implementing the data definition language as it stands today. While we ultimately ran into limiting issues on many of them, we've preserved them to show you how we arrived at where we are today. Perhaps you might find them useful!

In rough chronological order:

1. mercury-prototype (@mikeday)
2. rust-prototype-v1 (@brendanzab)
3. lean (@brendanzab)
4. prolog-prototype (@markbrown)
5. rust-prototype-v2 (@brendanzab)
6. makam-spec (@brendanzab)
7. rust-prototype-v3 (@brendanzab)

The following repositories also provided us with valuable experience along the way:

• brendanzab/idris-power-of-pi
• brendanzab/moniker
• pikelet-lang/pikelet
• brendanzab/rust-nbe-for-mltt