No description, website, or topics provided.
TeX Haskell Agda Other
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
Nabla
lfmtp-talk
paper
travis
.gitignore
.travis.yml
Classy.hs
Dual.hs
Duality.hs
Graphs.hs
Indexed.hs
Iso.agda
IsoExists.agda
IsoShort.agda
LL.hs
McBride.hs
Name.hs
Names.agda
Names2.agda
NamesRel.agda
ParamPlayground.agda
README.md
STLC.agda
STLC.hs
STLC2.agda
Talk.hs
TmU.agda
TypedNbE.hs
TypedPNS.hs
TypedTerm.hs
binding-representations.agda
nbe-hoas.agda
nbe-hoas3.agda
nbe-hoas3.hs

README.md

TTNameBinders

Adventures with names and binders in type-theory