d6ecb421e4
In other words, instead of writing:
let f (x : Natural) = x + 1
in ...
... you must now write:
let f = λ(x : Natural) → x + 1
in ...
The reason for this is two-fold:
* The implementation is much simpler, which matters for porting Dhall to other
languages
* This is more consistent with handlers for the newly added `apply` notation,
where the handlers have to be expressed as anonymous functions
|
||
|---|---|---|
| exec | ||
| src | ||
| dhall.cabal | ||
| LICENSE | ||
| Setup.hs | ||
| stack.yaml | ||