Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.
How are types such as "Natural" defined in dhall? Are they intrinsic to the language, in some sense? If I were to implement dhall, could I add more intrinsic types?
You can check existing implementation: https://hackage.haskell.org/package/dhall-1.36.0/docs/src/Dhall.Syntax.html#Natural
Ohhh i see, looks like it's built into the AST of the language itself. thanks!