Fabrizio Ferrai
Fabrizio Ferrai
As standardized in https://github.com/dhall-lang/dhall-lang/pull/334
As standardized in https://github.com/dhall-lang/dhall-lang/pull/308 and (partially) implemented in https://github.com/dhall-lang/dhall-haskell/pull/728
As standardized in https://github.com/dhall-lang/dhall-lang/pull/293 and implemented in https://github.com/dhall-lang/dhall-haskell/pull/690
The following expression is broken in our interpreter: ```haskell λ(x : Bool) → λ(x : Bool) → x@1 ``` since it emits the following form: ```clojure (clojure.core/fn [x] (clojure.core/fn [x]...
It should be possible to import Dhall expressions over http/https, as [defined in the standard](https://github.com/dhall-lang/dhall-lang/blob/master/standard/semantics.md#import-resolution). This would mean implementing proper "import chaining", and check that we're respecting the [Security Concerns](https://github.com/dhall-lang/dhall-lang/wiki/Safety-guarantees)...
Since we get the type of an expression from the `typecheck`, we could validate it against a user-provided spec.
To preserve source information, the Haskell implementation uses a `Note` constructor as a wrapper. We get this data already from Instaparse as metadata, so we should just pass this metadata...
One of the problems of updating package sets is that if that some package version is not compatible with some other package in the set, then all the packages depending...
TODO: - [ ] share the `output` folder for all PS builds - [ ] clean CDN caches in parallel
The link tries to open in the same webview, but it should open externally cc @lulzimfazlija