Commit Graph

5 Commits

Author SHA1 Message Date
Fabrizio Ferrai
6acb5b3e18 Update to Dhall 1.14
Switch Integer to Natural
2018-07-08 20:47:09 +03:00
Fabrizio Ferrai
03c99940c9 Regenerate defaults and types 2018-06-01 11:36:53 +02:00
Fabrizio Ferrai
7c895cea21 Add types to generated default records 2018-05-27 19:55:47 +02:00
Fabrizio Ferrai
65b1339651 Make the required parameters fields of a record instead of fn args 2018-05-27 19:55:47 +02:00
Fabrizio Ferrai
01d8ec40e3 Start generating default values for all models 2018-05-27 19:55:47 +02:00