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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Use alpha variables everywhere	Nadrieril	2020-01-17	1	-1/+1
\| \| \| \|	Don't bother keeping name around, it complicates matters
*	Implement bulk shifting	Nadrieril	2020-01-17	1	-21/+77
\|
*	Simplify a bit	Nadrieril	2020-01-17	1	-8/+18
\|
*	Remove Shift/Subst traits	Nadrieril	2020-01-17	1	-80/+78
\|
*	Simplify Shift and Subst instances	Nadrieril	2020-01-17	1	-127/+38
\|
*	Remove binder ids	Nadrieril	2020-01-17	1	-63/+4
\| \| \| \|	The underlying purpose of them turned out to be unsound
*	Use binder ids to reconstruct variables in expr output	Nadrieril	2020-01-17	1	-21/+13
\|
*	Simplify Value::to_expr	Nadrieril	2020-01-17	1	-9/+9
\|
*	Use binder ids for Value equality	Nadrieril	2020-01-17	1	-8/+68
\|
*	Introduce a notion of binder	Nadrieril	2020-01-17	1	-4/+4
\|
*	Implement traverse_ref for ValueKind	Nadrieril	2020-01-17	1	-0/+28
\|
*	Parameterize ValueKind by its subnodes	Nadrieril	2020-01-17	1	-15/+18
\|
*	Revert "Implement PartialEq manually for ValueKind"	Nadrieril	2020-01-17	1	-64/+1
\| \| \| \|	This reverts commit 88c31554561bd7a600560af0e6bc97c48649f43f.
*	Implement PartialEq manually for ValueKind	Nadrieril	2020-01-17	1	-1/+64
\|
*	s/TypecheckContext/TyCtx/	Nadrieril	2020-01-17	1	-4/+2
\|
*	Ensure inferred type is always in normal form	Nadrieril	2019-12-24	1	-0/+3
\|
*	Move ValueKind into value.rs	Nadrieril	2019-12-20	1	-6/+264
\|
*	Reorder value.rs	Nadrieril	2019-12-20	1	-81/+81
\|
*	Move error module to root of crate	Nadrieril	2019-12-20	1	-1/+1
\|
*	Move out conversion from value back to ast to its own file	Nadrieril	2019-12-19	1	-16/+9
\|
*	Rename ValueF to ValueKind	Nadrieril	2019-12-19	1	-35/+35
\|
*	Refer to semantics module properly	Nadrieril	2019-12-15	1	-7/+7
\|
*	Avoid mention of `crate::` outside of top-level imports	Nadrieril	2019-12-15	1	-2/+1
\|
*	Move contents of dhall under a semantics submodule	Nadrieril	2019-12-15	1	-0/+338