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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Add parser/failure tests from spec	Nadrieril	2019-03-02	4	-83/+100
\|
*	Start implementing parsing on top of pest	Nadrieril	2019-03-02	3	-108/+206
\|
*	Move part of parser into its own crate to limit recompilation times	Nadrieril	2019-03-02	11	-242/+221
\|
*	Tweak pest generation	Nadrieril	2019-03-02	1	-2/+2
\|
*	Split abnf_to_pest and dhall into their own crates	Nadrieril	2019-03-01	56	-79/+104
\|
*	remove simple-label override	Nadrieril	2019-03-01	1	-2/+0
\|
*	override simple_label rule to avoid parsing keywords	Nadrieril	2019-03-01	1	-10/+25
\|
*	Improve pest file layout	Nadrieril	2019-03-01	3	-16/+57
\|
*	Auto-generate pest file from spec abnf	Nadrieril	2019-02-28	9	-844/+334
\|
*	Start rewriting parser in pest	Nadrieril	2019-02-28	6	-17/+1088
\|
*	Fix imports in grammar.lalrpop	Nadrieril	2019-02-28	1	-7/+7
\|
*	Add all normalization tests that pass	Nadrieril	2019-02-27	2	-24/+194
\|
*	Add Natural/Show builtin	Nadrieril	2019-02-27	3	-7/+24
\|
*	Add one test from the spec	Nadrieril	2019-02-27	3	-17/+25
\|
*	Add dhall-lang spec repo as a submodule	Nadrieril	2019-02-27	2	-0/+3
\|
*	Fix mixed up parsing of integers/naturals	Nadrieril	2019-02-27	2	-5/+5
\|
*	Switch to Rust 2018 edition	Nadrieril	2019-02-27	8	-40/+39
\|
*	Revert "Try to update to latest nom"	Nadrieril	2019-02-27	6	-46/+50
\| \| \| \|	This reverts commit d5bc8da87f3fed99a010d867a3e34d2768caf768.
*	Try to update to latest nom	Nadrieril	2019-02-27	6	-50/+46
\|
*	Update dependencies	Nadrieril	2019-02-27	5	-145/+521
\|
*	fixed some clippy warnings	Andre Bogus	2017-09-08	7	-310/+336
\|
*	_ unused variables	NanoTech	2017-03-10	1	-5/+5
\|
*	Fix match on Embed(X)	NanoTech	2017-03-10	1	-1/+1
\|
*	Output comparison script	NanoTech	2017-03-10	1	-0/+9
\|
*	Start implementing error explanations	NanoTech	2017-03-10	36	-26/+1828
\|
*	Implement fold/build fusion normalize cases	NanoTech	2017-03-10	1	-7/+7
\|
*	Fix context lookup order	NanoTech	2017-03-10	1	-1/+1
\| \| \| \|	The most recent item, with context index 0, is at the end of the Vec.
*	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
\|