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

	Commit message (Expand)	Author	Age	Files	Lines
*	Split abnf_to_pest and dhall into their own crates	Nadrieril	2019-03-01	1	-1056/+0
*	Add Natural/Show builtin	Nadrieril	2019-02-27	1	-0/+3
*	Switch to Rust 2018 edition	Nadrieril	2019-02-27	1	-11/+11
*	fixed some clippy warnings	Andre Bogus	2017-09-08	1	-120/+120
*	_ unused variables	NanoTech	2017-03-10	1	-5/+5
*	Implement fold/build fusion normalize cases	NanoTech	2017-03-10	1	-7/+7
*	Format more operators, still ignoring precedence for now	NanoTech	2017-03-10	1	-0/+6
*	Format ListLit and OptionalLit	NanoTech	2017-03-10	1	-23/+27
*	Implement more normalize and typecheck cases	NanoTech	2017-03-10	1	-8/+93
*	Implement all subst cases	NanoTech	2017-03-10	1	-8/+51
*	Implement all shift cases	NanoTech	2017-03-10	1	-74/+46
*	Use BTreeMaps to keep records and unions sorted	NanoTech	2017-03-10	1	-23/+9
*	Implement more list functions	NanoTech	2017-03-10	1	-33/+53
*	Fix formatting for Pi("_", _, _)	NanoTech	2017-03-10	1	-0/+5
*	normalize: Take the input Expr by reference	NanoTech	2017-03-10	1	-33/+42
*	Implement more typechecker cases	NanoTech	2017-03-10	1	-1/+30
*	impl Display for Expr	NanoTech	2017-03-10	1	-9/+231
*	Implement more typechecking for Prelude/List/shifted	NanoTech	2017-03-10	1	-55/+40
*	subst: Don't need to match on the left Expr	NanoTech	2017-03-10	1	-12/+12
*	subst: Take the input Exprs by reference	NanoTech	2017-03-10	1	-19/+18
*	shift: Take the input Expr by reference	NanoTech	2017-03-10	1	-24/+20
*	Seperate built-in types and functions from Expr	NanoTech	2017-03-10	1	-90/+76
*	Replace Cow<'i, str> with &'i str in Expr	NanoTech	2017-03-10	1	-33/+29
*	Begin implementing type checking	NanoTech	2017-03-10	1	-0/+487
*	Reference input strings without copying	NanoTech	2017-03-10	1	-30/+31
*	Initial commit	NanoTech	2017-03-10	1	-0/+222