dhall_rust/dhall/src/core, branch substitutions working copy forked from https://github.com/Nadrieril/dhall-rust https://stuebinm.eu/git/dhall_rust/atom/dhall/src/core?h=substitutions 2019-12-15T19:47:20Z Move contents of dhall under a semantics submodule 2019-12-15T19:47:20Z Nadrieril 2019-12-15T19:47:20Z urn:sha1:7abd49772643ee4e131ef47de66db22ba7c1e037 Reexport dhall_syntax as a module in dhall 2019-12-15T19:42:57Z Nadrieril 2019-12-15T19:42:57Z urn:sha1:929a34c177f8b18ae791f77bbd4630a862fb1070 Add a few more pretty errors 2019-11-11T13:55:48Z Nadrieril 2019-11-11T13:49:47Z urn:sha1:c9c248a4cab21fa1ae7692cd193e3b2c698d431d Propagate more spans 2019-11-11T13:50:37Z Nadrieril 2019-11-11T13:36:30Z urn:sha1:d28d114552e6c6cb913dce48893fa87e87bf11e2 Store a `Span` in `Value` 2019-11-11T13:50:36Z Nadrieril 2019-11-11T11:34:29Z urn:sha1:5d5a356b8eb36e277c312e5550d1cb0a2f82e9fa Capture absence of span in Span itself 2019-11-11T13:50:36Z Nadrieril 2019-11-11T11:20:32Z urn:sha1:b68c3af578d1f6b0d1e32e7d88ef57774fb468d8 Add mapping functions to InterpolatedTextContents 2019-09-03T15:30:11Z Nadrieril 2019-09-03T14:44:02Z urn:sha1:f1c3d1d7487fbb18b228a1082fc1c966f34b6dc3 Use map_mut in ValueF::normalize_mut 2019-09-03T15:30:11Z Nadrieril 2019-09-03T14:43:45Z urn:sha1:31a03bf9140a2fdf5eb52d0998d2d41efaf0d610 Cleanup conversion of `Value` to `Expr` 2019-08-30T17:24:04Z Nadrieril 2019-08-28T11:49:27Z urn:sha1:55c127e70eb484df486a45b25bcf03479eebda10 Rename SubExpr to Expr, and Expr to RawExpr 2019-08-28T11:16:07Z Nadrieril 2019-08-27T21:18:13Z urn:sha1:a7363042a16364a6dafdd545f4069dcf04a4197e For clarity, and consistency with Value