dhall-lang/dhall-lang

... as suggested in #586 (comment)

Latest commit 3efe569

Jun 30, 2019

Name	Latest commit message	Commit time
..
Failed to load latest commit information.
Bool	Tidy up prelude (#531 )	May 9, 2019
Double	Tidy up prelude (#531 )	May 9, 2019
Function	Tidy up prelude (#531 )	May 9, 2019
Integer	Tidy up prelude (#531 )	May 9, 2019
JSON	Prelude: Add standard representation for weakly-typed JSON values (#586 )	Jun 20, 2019
List	Tidy up prelude (#531 )	May 9, 2019
Map	Relocate `./Prelude/Map.dhall` to `./Prelude/Map/Type.dhall` (#608 )	Jun 29, 2019
Natural	Tidy up prelude (#531 )	May 9, 2019
Optional	Tidy up prelude (#531 )	May 9, 2019
Text	Lint Prelude (#571 )	Jun 4, 2019
Map.dhall	Relocate `./Prelude/Map.dhall` to `./Prelude/Map/Type.dhall` (#608 )	Jun 29, 2019
Monoid	Migrate Prelude into `dhall-lang` repository (#247 )	Oct 21, 2018
package.dhall	Prelude: Add standard representation for weakly-typed JSON values (#586 )	Jun 20, 2019