pikelet-lang / pikelet

A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
https://pikelet-lang.github.io/pikelet/
Apache License 2.0
610 stars 26 forks source link

Add Pikelet AST example #245

Closed brendanzab closed 3 years ago

brendanzab commented 3 years ago

I thought this was fun! I was inspired by how Dhall encodes ASTs, in lieu of implementing inductive types.