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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Split abnf_to_pest and dhall into their own crates	Nadrieril	2019-03-01	1	-616/+0
\|
*	Switch to Rust 2018 edition	Nadrieril	2019-02-27	1	-8/+8
\|
*	fixed some clippy warnings	Andre Bogus	2017-09-08	1	-62/+61
\|
*	Fix match on Embed(X)	NanoTech	2017-03-10	1	-1/+1
\|
*	Start implementing error explanations	NanoTech	2017-03-10	1	-3/+35
\|
*	Implement more normalize and typecheck cases	NanoTech	2017-03-10	1	-218/+152
\|
*	normalize: Take the input Expr by reference	NanoTech	2017-03-10	1	-17/+17
\|
*	Implement more typechecking for Prelude/List/shifted	NanoTech	2017-03-10	1	-46/+82
\|
*	subst: Take the input Exprs by reference	NanoTech	2017-03-10	1	-1/+1
\|
*	shift: Take the input Expr by reference	NanoTech	2017-03-10	1	-4/+4
\|
*	Seperate built-in types and functions from Expr	NanoTech	2017-03-10	1	-30/+24
\|
*	Replace Cow<'i, str> with &'i str in Expr	NanoTech	2017-03-10	1	-12/+12
\| \| \| \|	Cow::Owned is never used in Expr
*	Begin implementing type checking	NanoTech	2017-03-10	1	-0/+621