ehmry/dhall-haskell
ehmry/dhall-haskell
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
a0a2ac12eb
dhall-haskell/Prelude
History
Gabriel Gonzalez 0ffe854d6d
Restrict records to forbid storing both types and terms (#335) 
... as standardized in https://github.com/dhall-lang/dhall-lang/pull/120
2018-03-25 18:16:11 -07:00
..
Bool Fix semantics of {List,Optional,Natural}/build (#300) 2018-02-26 10:50:27 -08:00
Double Create package for Prelude (#298) 2018-02-25 11:59:21 -08:00
Integer Create package for Prelude (#298) 2018-02-25 11:59:21 -08:00
List Fix semantics of {List,Optional,Natural}/build (#300) 2018-02-26 10:50:27 -08:00
Natural Fix semantics of {List,Optional,Natural}/build (#300) 2018-02-26 10:50:27 -08:00
Optional Fix semantics of {List,Optional,Natural}/build (#300) 2018-02-26 10:50:27 -08:00
Text Fix semantics of {List,Optional,Natural}/build (#300) 2018-02-26 10:50:27 -08:00
Monoid Format Prelude using dhall-format (#148) 2017-09-30 12:11:14 +03:00
package.dhall Restrict records to forbid storing both types and terms (#335) 2018-03-25 18:16:11 -07:00