TTNameBinders

Adventures with names and binders in type-theory

Name		Name	Last commit message	Last commit date
Latest commit History 575 Commits
Nabla		Nabla
lfmtp-talk		lfmtp-talk
paper		paper
travis		travis
.gitignore		.gitignore
.travis.yml		.travis.yml
Classy.hs		Classy.hs
Dual.hs		Dual.hs
Duality.hs		Duality.hs
Graphs.hs		Graphs.hs
Indexed.hs		Indexed.hs
Iso.agda		Iso.agda
IsoExists.agda		IsoExists.agda
IsoShort.agda		IsoShort.agda
LL.hs		LL.hs
McBride.hs		McBride.hs
Name.hs		Name.hs
Names.agda		Names.agda
Names2.agda		Names2.agda
NamesRel.agda		NamesRel.agda
ParamPlayground.agda		ParamPlayground.agda
README.md		README.md
STLC.agda		STLC.agda
STLC.hs		STLC.hs
STLC2.agda		STLC2.agda
Talk.hs		Talk.hs
TmU.agda		TmU.agda
TypedNbE.hs		TypedNbE.hs
TypedPNS.hs		TypedPNS.hs
TypedTerm.hs		TypedTerm.hs
binding-representations.agda		binding-representations.agda
nbe-hoas.agda		nbe-hoas.agda
nbe-hoas3.agda		nbe-hoas3.agda
nbe-hoas3.hs		nbe-hoas3.hs

Provide feedback