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

	Commit message (Collapse)	Author	Files	Lines
2020-03-31	Brutally make all of dhall pub	Nadrieril	1	-4/+4

2020-02-17	Rename Value to Nir	Nadrieril	1	-2/+2

2020-01-31	Factor out custom Lazy struct	Nadrieril	1	-0/+1

2020-01-30	Remove Value visitor	Nadrieril	1	-1/+0
	It's mostly useful when we can change types, but it's also too constraining if we can, because then we can't enforce complex invariants like the one for TextLit.
2020-01-30	Move normalize under nze	Nadrieril	1	-0/+2

2020-01-30	Move Value-related stuff under semantics::nze	Nadrieril	1	-0/+5

2020-01-29	Move envs to their own files	Nadrieril	1	-2/+2

2020-01-21	Prepare Value for reverse variables	Nadrieril	1	-1/+1
	I thought it would work ><. It's a bit too early
2020-01-20	Reimplement basic tck/nze with proper environments	Nadrieril	1	-0/+2
	Inspired from dhall_haskell