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

	Commit message (Collapse)	Author	Age	Files	Lines
*	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	2	-226/+245
\|
*	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	2	-27/+13
\|
*	Implement more list functions	NanoTech	2017-03-10	2	-33/+55
\| \| \|	Now requires nightly for #![feature(box_patterns)]
*	Fix formatting for Pi("_", _, _)	NanoTech	2017-03-10	1	-0/+5
\|
*	normalize: Take the input Expr by reference	NanoTech	2017-03-10	3	-51/+60
\|
*	Implement more typechecker cases	NanoTech	2017-03-10	1	-1/+30
\|
*	impl Display for Expr	NanoTech	2017-03-10	2	-10/+241
\|
*	Implement more typechecking for Prelude/List/shifted	NanoTech	2017-03-10	2	-101/+122
\|
*	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	2	-20/+19
\|
*	shift: Take the input Expr by reference	NanoTech	2017-03-10	2	-28/+24
\|
*	Seperate built-in types and functions from Expr	NanoTech	2017-03-10	5	-177/+130
\|
*	Replace Cow<'i, str> with &'i str in Expr	NanoTech	2017-03-10	5	-58/+50
\| \| \| \|	Cow::Owned is never used in Expr
*	Begin implementing type checking	NanoTech	2017-03-10	6	-13/+1176
\|
*	Reference input strings without copying	NanoTech	2017-03-10	5	-66/+70
\|
*	Parse string literals	NanoTech	2017-03-10	2	-12/+95
\|
*	Parse identifiers' first character correctly	NanoTech	2017-03-10	1	-2/+5
\|
*	Remove unused and commented symbol lexing code	NanoTech	2017-03-10	1	-32/+0
\|
*	Refactor comment end finding	NanoTech	2017-03-10	1	-18/+9
\|
*	Parse Const, lists, and records	NanoTech	2017-03-10	4	-33/+133
\| \| \| \|	Also fix keyword parsing to always consume whole identifiers.
*	Colored error messages	NanoTech	2017-03-10	3	-9/+49
\|
*	rustc-style error messages	NanoTech	2017-03-10	3	-3/+37
\|
*	test reserved	NanoTech	2017-03-10	1	-1/+1
\|
*	Parse builtins correctly	NanoTech	2017-03-10	2	-1/+27
\|
*	Separate keywords and builtins	NanoTech	2017-03-10	2	-35/+44
\|
*	Print some error context	NanoTech	2017-03-10	1	-2/+8
\|
*	Add more ExprB rules	NanoTech	2017-03-10	2	-7/+35
\|
*	Skip comments	NanoTech	2017-03-10	1	-8/+41
\|
*	Report the offset of errors	NanoTech	2017-03-10	1	-2/+3
\|
*	Read and parse stdin	NanoTech	2017-03-10	2	-4/+7
\|
*	Initial commit	NanoTech	2017-03-10	11	-0/+971