Gabriel Gonzalez a97453292f Add new Some/None constructors (#559) ... ... as standardized in https://github.com/dhall-lang/dhall-lang/pull/227 The legacy `Optional` syntax is still supported for now but the normal form for `Optional` literals now prefers `Some`/`None`. The `dhall lint` command will automatically migrate the old `Optional` literal syntax to the new syntax.		2018-09-10 12:37:57 -07:00
..
package.dhall	Add new Some/None constructors (#559)	2018-09-10 12:37:57 -07:00
show	Switch grammar of Natural and Integer (#381)	2018-05-12 09:20:08 -07:00
toDouble	Add Integer/toDouble (#434)	2018-06-13 18:04:40 -07:00