dhall_rust/dhall_core/src, branch substitutions working copy forked from https://github.com/Nadrieril/dhall-rust Rename dhall_core to dhall_syntax 2019-05-04T10:38:36+00:00 Nadrieril 2019-05-04T10:38:36+00:00 45be2ff1f5bb3d6e0faa098402adf985b3d5e7ca 






Update dhall-lang submodule
2019-05-02T20:15:47+00:00

Nadrieril

2019-05-02T20:15:47+00:00

3268e1fb66e2c9eab22572da034a0ac9b3087867












Update dhall-lang submodule
2019-05-02T19:52:52+00:00

Nadrieril

2019-05-02T19:52:52+00:00

69d310da1e4c4563ce41424f776879102b62d9a0












Update dhall-lang submodule
2019-05-02T19:08:31+00:00

Nadrieril

2019-05-02T19:08:31+00:00

dfeca33c91e58618bbffc382b62f2f4efb0ae26a












Update dhall-lang submodule
2019-05-02T18:19:45+00:00

Nadrieril

2019-05-02T18:19:45+00:00

80f4cfeef3e5dfc6f2aab36c2562b1c0d2b576d8












Remove shift0
2019-05-02T15:18:52+00:00

Nadrieril

2019-05-02T15:18:52+00:00

17ab417aeb5aea6cd21240a491607b9017194737












Fix shifting. This completely destroys sharing so performance is dead.
2019-04-30T19:13:00+00:00

Nadrieril

2019-04-30T19:13:00+00:00

8a846a6b0af141b45e7f92da7ecad32c89d581f8












Don't shift by mutable ref
2019-04-29T19:52:47+00:00

Nadrieril

2019-04-29T19:52:47+00:00

439947345ef52ce04a66b1d4fa9c05d2b6964fa1












Properly substitute when typing App
2019-04-29T14:27:14+00:00

Nadrieril

2019-04-29T14:27:14+00:00

5c16a75c6dc01bbd0bfe36be4a9b337a762632a8












Remove now obsolete subst_shift
2019-04-21T22:08:46+00:00

Nadrieril

2019-04-21T22:08:46+00:00

0f334c9d112e3ee961eb35c09c85140fdf2aa8f6