dhall_rust - working copy forked from https://github.com/Nadrieril/dhall-rust

	Commit message (Expand)	Author	Age	Files	Lines
...
*	Rename dhall_generator to dhall_proc_macros	Nadrieril	2019-05-04	12	-17/+17
*	Rename dhall_core to dhall_syntax	Nadrieril	2019-05-04	27	-89/+89
*	No need for extra stack in tests anymore	Nadrieril	2019-05-03	3	-44/+6
*	Remove some deprecated functions	Nadrieril	2019-05-03	3	-124/+30
*	Rework normalization to reduce expensive Value copying	Nadrieril	2019-05-03	1	-457/+494
*	Apply builtin arguments lazily	Nadrieril	2019-05-03	1	-143/+165
*	Avoid unnecessary RefCell::borrow_mut	Nadrieril	2019-05-03	2	-20/+37
*	Update dhall-lang submodule	Nadrieril	2019-05-02	1	-0/+0
*	Update dhall-lang submodule	Nadrieril	2019-05-02	5	-6/+48
*	Update dhall-lang submodule	Nadrieril	2019-05-02	4	-74/+93
*	Update normalization tests	Nadrieril	2019-05-02	2	-12/+13
*	Update dhall-lang submodule	Nadrieril	2019-05-02	2	-16/+25
*	Update dhall-lang submodule	Nadrieril	2019-05-02	4	-3/+15
*	Update dhall-lang submodule	Nadrieril	2019-05-02	5	-29/+44
*	Typecheck text interpolation	Nadrieril	2019-05-02	1	-3/+16
*	Typecheck missing builtin cases	Nadrieril	2019-05-02	1	-29/+47
*	Merge branch 'refactor-typechecking'	Nadrieril	2019-05-02	10	-829/+1774
\|\
\| *	Remove shift0	Nadrieril	2019-05-02	3	-55/+43
\| *	Instead of possibly nonexistent Type, treat Sort specially	Nadrieril	2019-05-02	7	-242/+282
\| *	Store Thunk in Normalized	Nadrieril	2019-05-02	5	-41/+44
\| *	Tweaks	Nadrieril	2019-05-02	3	-76/+78
\| *	Remove now useless TypedOrType type	Nadrieril	2019-04-30	1	-86/+34
\| *	Fix NF tracking error	Nadrieril	2019-04-30	1	-2/+3
\| *	Fix shifting. This completely destroys sharing so performance is dead.	Nadrieril	2019-04-30	2	-4/+10
\| *	Lazily process unnormalizable expression	Nadrieril	2019-04-30	1	-9/+36
\| *	Avoid some rewrapping of thunks	Nadrieril	2019-04-30	2	-36/+51
\| *	Mutate thunk contents directly if sole owner	Nadrieril	2019-04-30	1	-2/+8
\| *	Normalize mutably	Nadrieril	2019-04-30	1	-30/+120
\| *	Don't borrow from thunk more than necessary	Nadrieril	2019-04-30	2	-37/+62
\| *	Pass references when possible	Nadrieril	2019-04-30	3	-90/+121
\| *	Merge Typed and PartiallyNormalized	Nadrieril	2019-04-30	3	-124/+94
\| *	Store a Thunk in Typed	Nadrieril	2019-04-30	4	-40/+22
\| *	Store thunks in the normalization context	Nadrieril	2019-04-30	1	-12/+13
\| *	Store thunks behind Rc<RefCell<_>> to ensure minimal computation	Nadrieril	2019-04-30	2	-81/+160
\| *	Remove NF/WHNF distinction at runtime	Nadrieril	2019-04-29	3	-100/+79
\| *	Make NF and WHNF custom types instead of aliases	Nadrieril	2019-04-29	1	-3/+5
\| *	Don't shift by mutable ref	Nadrieril	2019-04-29	2	-100/+125
\| *	Store thunk in Value::Lambda	Nadrieril	2019-04-29	1	-19/+17
\| *	Allow representing normal form as a semantic value	Nadrieril	2019-04-29	3	-249/+368
\| *	Don't need to store original expression in TypeError	Nadrieril	2019-04-29	2	-59/+14
\| *	Properly substitute when typing App	Nadrieril	2019-04-29	3	-65/+233
\| *	Use PartiallyNormalized throughout typechecking	Nadrieril	2019-04-28	3	-93/+95
\| *	Move Pi to WHNF	Nadrieril	2019-04-27	2	-36/+51
\| *	Builtins	Nadrieril	2019-04-27	2	-30/+11
\| *	Replace TypeInternal::UnionType with WHNF::UnionType	Nadrieril	2019-04-27	1	-23/+23
\| *	Replace TypeInternal::RecordType with WHNF::RecordType	Nadrieril	2019-04-27	2	-32/+68
\| *	Rework TypeInternal	Nadrieril	2019-04-27	1	-83/+72
\| *	Store thunks uniformly in WHNF	Nadrieril	2019-04-27	1	-59/+42
\| *	Abstract out thunks in type position	Nadrieril	2019-04-27	1	-22/+64
\| *	Rename Now to Thunk	Nadrieril	2019-04-27	1	-45/+44