Skip to content

np/names-for-free

Folders and files

NameName
Last commit message
Last commit date

Latest commit

d72a4fb · Aug 29, 2016
Oct 10, 2014
Jun 5, 2016
Dec 10, 2013
Jun 1, 2013
Nov 11, 2013
Aug 29, 2016
Sep 17, 2013
May 22, 2013
Oct 27, 2013
Oct 21, 2013
May 21, 2013
Jun 13, 2013
Jun 5, 2013
Jun 5, 2013
Oct 27, 2013
Apr 26, 2013
May 21, 2013
Apr 5, 2013
Mar 22, 2013
May 6, 2013
Apr 23, 2013
Mar 20, 2013
Apr 23, 2013
Apr 26, 2013
Apr 26, 2013
Sep 17, 2013
Apr 23, 2013
May 21, 2013
May 21, 2013
May 21, 2013
Apr 23, 2013
Mar 22, 2013
Mar 22, 2013
May 30, 2013

Repository files navigation

TTNameBinders

Adventures with names and binders in type-theory