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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Move `Note`s into the spine of the AST	Nadrieril	2019-05-04	2	-9/+5
\|
*	Remove dummy lifetimes	Nadrieril	2019-05-04	8	-268/+203
\|
*	rustfmt	Nadrieril	2019-05-04	4	-4/+4
\|
*	Rename dhall_generator to dhall_proc_macros	Nadrieril	2019-05-04	6	-13/+13
\|
*	Rename dhall_core to dhall_syntax	Nadrieril	2019-05-04	11	-33/+33
\|
*	No need for extra stack in tests anymore	Nadrieril	2019-05-03	2	-13/+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/+1
\|
*	Update normalization tests	Nadrieril	2019-05-02	1	-11/+12
\|
*	Update dhall-lang submodule	Nadrieril	2019-05-02	1	-16/+25
\|
*	Update dhall-lang submodule	Nadrieril	2019-05-02	1	-1/+1
\|
*	Typecheck text interpolation	Nadrieril	2019-05-02	1	-3/+16
\|
*	Typecheck missing builtin cases	Nadrieril	2019-05-02	1	-29/+47
\|
*	Remove shift0	Nadrieril	2019-05-02	2	-32/+26
\|
*	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	1	-3/+7
\|
*	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	1	-93/+106
\|
*	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	2	-57/+218
\|
*	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
\|
*	Define new intermediate expression type	Nadrieril	2019-04-27	2	-19/+43
\|