dhall_rust/dhall/src/traits, branch substitutions working copy forked from https://github.com/Nadrieril/dhall-rust https://stuebinm.eu/git/dhall_rust/atom/dhall/src/traits?h=substitutions 2019-05-06T21:21:19Z Move api-related modules into an api module 2019-05-06T21:21:19Z Nadrieril 2019-05-06T21:21:19Z urn:sha1:5b91eaa9d6b70a2ac72fe19f2d21871c8d94b017 Consolidate errors in the error module 2019-05-06T21:20:47Z Nadrieril 2019-05-06T21:17:26Z urn:sha1:60129b7d1c0ea8bdf2ec666fa51957e97465e88f Reorganize dhall into a phase structure 2019-05-06T20:09:55Z Nadrieril 2019-05-06T20:09:55Z urn:sha1:423fdeebe9247b16744fae4b50df415bbd08be04 Merge TypedInternal and Typed 2019-05-05T22:42:15Z Nadrieril 2019-05-05T22:42:15Z urn:sha1:2075cba6d883278a534afd2d8fe8f0a5e9b2f0d0 Remove dummy lifetimes 2019-05-04T12:19:43Z Nadrieril 2019-05-04T12:19:43Z urn:sha1:b6f57069b75febf1d312a98efcd6544c9db2fe59 rustfmt 2019-05-04T11:13:55Z Nadrieril 2019-05-04T11:13:55Z urn:sha1:a582338869195c83850ac0a9d9737ff1275e39e1 Rename dhall_generator to dhall_proc_macros 2019-05-04T10:40:48Z Nadrieril 2019-05-04T10:40:48Z urn:sha1:4f04d1e6f02113ad0f539b723333f8f1f5734f13 Rename dhall_core to dhall_syntax 2019-05-04T10:38:36Z Nadrieril 2019-05-04T10:38:36Z urn:sha1:45be2ff1f5bb3d6e0faa098402adf985b3d5e7ca Instead of possibly nonexistent Type, treat Sort specially 2019-05-02T15:07:11Z Nadrieril 2019-05-02T15:07:11Z urn:sha1:db3ca819283f9bd99d197de464717f0b58b52fe4 Store Thunk in Normalized 2019-05-02T12:11:29Z Nadrieril 2019-05-02T12:11:29Z urn:sha1:c13a4881b56bf2f5b2d5d4d0018a48927b45e7e0