dhall_rust/dhall/src/semantics/phase, branch derive-macro working copy forked from https://github.com/Nadrieril/dhall-rust Move parse and resolve up a level 2020-01-30T17:16:25+00:00 Nadrieril 2020-01-30T17:16:25+00:00 8ff022fa2cec34bc1d46ac3655d0c3d228ef893c 






Move main API to lib.rs
2020-01-30T17:09:16+00:00

Nadrieril

2020-01-30T17:09:16+00:00

5197c26c23edd6c499f8e0f8a239fe4393b2e3d2












Move normalize under nze
2020-01-30T17:04:28+00:00

Nadrieril

2020-01-30T17:04:28+00:00

653cdb44cec4f54697d18f2c4ae9f67bbbc2fb3d












Introduce Thunks and normalize lazily
2020-01-30T16:39:25+00:00

Nadrieril

2020-01-30T16:39:25+00:00

67bbbafbc9730d74e20e5ac082ae9a87bdf2234e












s/as_whnf/kind/
2020-01-30T14:20:01+00:00

Nadrieril

2020-01-30T14:20:01+00:00

cb86493012b268ec32ad85a42b54fb1a2adab7b0












Encapsulate partially applied builtin in a separate struct
2020-01-30T11:53:37+00:00

Nadrieril

2020-01-30T11:53:37+00:00

17732b041dbd44f39ce3d04a289146db9882e865












Remove old typecheck module
2020-01-30T11:17:49+00:00

Nadrieril

2020-01-30T11:17:49+00:00

7743647137d1914c280e03d6aaee81e507cff97d












Move builtins-related code to its own module
2020-01-30T11:14:49+00:00

Nadrieril

2020-01-30T11:09:39+00:00

655f67fb29ca847f86c3e19338757e7b031d4f50












Move envs to their own files
2020-01-29T21:56:52+00:00

Nadrieril

2020-01-29T21:56:52+00:00

489174a426e6057a68b6edd2e9b4387d09912a25












Finally get rid of all of the shift/subst_shift !
2020-01-29T21:35:28+00:00

Nadrieril

2020-01-29T21:35:28+00:00

280b3174476ef8fe5a98f3614f4fe253fa243d8c