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

	Commit message (Collapse)	Author	Age	Files	Lines
*	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