JacquesCarette / finally-tagless
Repo of the original work on finally tagless (and a lot of other metaocaml work besides)
☆43Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for finally-tagless
- A formalization of Pure Type Systems (PTS) in Agda