Data abstraction in Dhall
Primary LanguageDhall
Implementing idealized data abstraction as described in my blog post in Dhall