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

	Commit message (Expand)	Author	Files	Lines
2019-08-08	Add support for dependent types	Nadrieril	1	-2/+4
2019-08-06	Add some new tests and implement import alternatives	Nadrieril	1	-1/+1
2019-08-01	Add typechecking for RecursiveRecordTypeMerge.	FintanH	1	-0/+3
2019-08-01	Add the typechecking of RecursiveRecordMerge.	FintanH	1	-0/+3
2019-07-31	Add case for RightBasedRecordMerge in the typechecking phase.	Fintan Halpenny	1	-0/+2
2019-05-12	Implement binary encoding	Nadrieril	1	-0/+12
2019-05-09	Make shift fallible and improve shift ergonomics	Nadrieril	1	-0/+1
2019-05-09	Detect duplicate record fields in typecheck	Nadrieril	1	-0/+2
2019-05-08	Typecheck record projection	Nadrieril	1	-0/+2
2019-05-08	Typecheck merge	Nadrieril	1	-0/+7
2019-05-07	Unify typecheck and normalization contexts	Nadrieril	1	-6/+0
2019-05-06	Move main datatypes into their own modules	Nadrieril	1	-1/+1
2019-05-06	Consolidate errors in the error module	Nadrieril	35	-0/+1934