Hacker News new | ask | show | jobs
by mjepronk 2837 days ago
Yes, for example the Dhall (non-Turing complete) programming language does this: https://github.com/dhall-lang/dhall-lang