search

RChain-Collaborative-Learning / Introduction-to-the-Design-of-Computational-Calculi

8 stars 2 forks source link

Greg Exercise 01 - rho calc grammar #3

Open Jake-Gillberg opened 6 years ago

Jake-Gillberg commented 6 years ago

Create a scala (or haskell) representation of rho calculus grammar

Jake-Gillberg commented 6 years ago

https://gist.github.com/Jake-Gillberg/c661903026c0616acebeb8ec93e47db3/ec6f1309659e5e3bf7c3a448968d7bc69b893188