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

	Commit message (Collapse)	Author	Age	Files	Lines
*	If can return a type	Basile Henry	2020-11-27	2	-8/+2
\|
*	tests: commit a forgotten output	Nadrieril	2020-11-05	1	-0/+6
\|
*	tests: add some tests	Nadrieril	2020-11-05	1	-0/+1
\|
*	test: commit a forgotten file	Nadrieril	2020-11-05	1	-0/+6
\|
*	tests: add regression tests for `with` kind inference	Nadrieril	2020-11-02	4	-0/+9
\|
*	Implement type checking for With op	Basile Henry	2020-11-01	2	-4/+4
\|
*	No need to escape underscores in pretty-printing	Nadrieril	2020-10-28	1	-1/+1
\|
*	fix: add missing test	Nadrieril	2020-10-28	1	-0/+6
\|
*	spec: Enable `with` optimizations	Nadrieril	2020-09-14	1	-0/+6
\|
*	spec!: remove Optional/build and Optional/fold	Nadrieril	2020-06-25	3	-0/+24
\|
*	spec: allow unions with mixed kinds	Nadrieril	2020-06-25	7	-42/+0
\|
*	Move duplicate field checking to parser	Nadrieril	2020-04-07	14	-41/+41
\|
*	Upgrade annotate-snippets version	Nadrieril	2020-03-31	110	-110/+110
\|
*	Upstream all local tests	Nadrieril	2020-03-10	18	-27/+0
\| \| \| \|	See https://github.com/dhall-lang/dhall-lang/pull/933
*	Add support for `with` keyword	Nadrieril	2020-03-10	2	-0/+8
\|
*	Add a lot of import tests	Nadrieril	2020-03-05	3	-0/+11
\|
*	Add a bunch of `as Location` unit tests	Nadrieril	2020-03-05	2	-0/+2
\|
*	Add a bunch of tests	Nadrieril	2020-03-05	18	-0/+44
\|
*	Add support for duplicate record fields	Nadrieril	2020-02-20	4	-6/+3
\|
*	Avoid recomputing universes in tck	Nadrieril	2020-02-16	4	-4/+24
\|
*	Start requiring Universe to build a Type	Nadrieril	2020-02-16	2	-4/+4
\|
*	Rework annotation and Sort handling	Nadrieril	2020-02-13	14	-18/+38
\|
*	Simplify conversions to/from TyExpr	Nadrieril	2020-02-13	4	-0/+20
\|
*	Remove most TyExpr from normalization	Nadrieril	2020-02-09	9	-18/+18
\|
*	Move ui outputs to a sensible place	Nadrieril	2020-02-09	105	-0/+600
\|
*	Add local test files on top of dhall-lang tests	Nadrieril	2020-02-02	1	-0/+1