search

visual-systems / philosophy

Overall philosophical documentation of what this system will aim to achieve and how it will be constructed.
6 stars 1 forks source link

Translating recursive code into Dhall #16

Open sordina opened 5 years ago

sordina commented 5 years ago

https://github.com/dhall-lang/dhall-lang/wiki/How-to-translate-recursive-code-to-Dhall