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

	Commit message (Expand)	Author	Files	Lines
2020-12-07	Unify `skip_resolve_expr` with normal resolution	Nadrieril	1	-7/+12
2020-12-07	Thread cx through normalization	Nadrieril	1	-27/+24
2020-12-07	Thread cx through typecheck	Nadrieril	1	-4/+12
2020-11-01	Allow `Text/replace ` to support an abstract haystack	Basile Henry	1	-22/+28
2020-10-28	Prefer u64/i64 to usize/isize	Nadrieril	1	-3/+3
2020-10-25	Refactor Text/replace eval	Basile Henry	1	-42/+29
2020-10-25	Implement Text/replace	Basile Henry	1	-2/+62
2020-06-25	spec!: remove Optional/build and Optional/fold	Nadrieril	1	-43/+0
2020-04-07	Move duplicate field checking to parser	Nadrieril	1	-4/+4
2020-04-06	Move BinOp and Builtin definitions in the relevant module	Nadrieril	1	-4/+118
2020-04-06	Move builtins module up a level	Nadrieril	1	-0/+0
2020-04-06	Extract operation-related code to a new module	Nadrieril	1	-2/+3
2020-04-06	Split off operations from main expr enum	Nadrieril	1	-14/+14
2020-03-31	Introduce option builder	Nadrieril	1	-3/+3
2020-03-31	Brutally make all of dhall pub	Nadrieril	1	-3/+3
2020-03-31	Nir::normalize isn't useful	Nadrieril	1	-7/+0
2020-03-31	Improve handling of builtin types in Nir	Nadrieril	1	-14/+17
2020-03-31	Remove top-level Expr aliases	Nadrieril	1	-2/+1
2020-03-31	Rename LitKind to NumKind	Nadrieril	1	-27/+27
2020-03-17	Run clippy	Nadrieril	1	-3/+3
2020-02-17	Rename Value to Nir	Nadrieril	1	-59/+59
2020-02-11	Introduce LitKind to factor out common enum nodes	Nadrieril	1	-56/+63
2020-02-11	Remove the Embed variant from ExprKind	Nadrieril	1	-1/+1
2020-02-09	Remove types from NzEnv	Nadrieril	1	-2/+5
2020-02-09	Remove all types from Value	Nadrieril	1	-11/+3
2020-02-09	Take Hir for typecheck	Nadrieril	1	-5/+7
2020-02-09	Remove extra types stored in Value	Nadrieril	1	-22/+6
2020-02-09	Remove most TyExpr from normalization	Nadrieril	1	-9/+5
2020-02-09	Remove move type propagation through Value	Nadrieril	1	-31/+10
2020-02-05	Normalize toMap	Nadrieril	1	-10/+5
2020-01-30	Use OnceCell to enable returning &ValKind	Nadrieril	1	-3/+3
2020-01-30	Clarify normalization to ensure we only nze once	Nadrieril	1	-4/+3
2020-01-30	Factor out text literals in Value	Nadrieril	1	-44/+23
2020-01-30	Remove type parameter from ValueKind	Nadrieril	1	-9/+4
2020-01-30	Move main API to lib.rs	Nadrieril	1	-1/+1
2020-01-30	Introduce Thunks and normalize lazily	Nadrieril	1	-1/+1
2020-01-30	s/as_whnf/kind/	Nadrieril	1	-20/+20
2020-01-30	Encapsulate partially applied builtin in a separate struct	Nadrieril	1	-3/+77
2020-01-30	No need for the current env to tck Foo/build closures	Nadrieril	1	-5/+1
2020-01-30	Clean imports	Nadrieril	1	-7/+8
2020-01-30	Actually, no need for keeping extra args in apply_builtin	Nadrieril	1	-25/+10
2020-01-30	Move builtins-related code to its own module	Nadrieril	1	-0/+511