No description, website, or topics provided.
Agda TeX Emacs Lisp
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
Bal.agda added section on merging Apr 10, 2013
CodeTurd.agda
Expt1.agda more stuff Mar 1, 2014
Expt2.agda
Expt3.agda pivotal paper started Apr 5, 2013
Makefile pivotal paper started Apr 5, 2013
Ornament.bib more faffing Jun 17, 2014
Pivotal.lagda
README.md Initial commit Apr 2, 2013
Talk.agda
comedy.el ICFP materials in the repo Sep 9, 2014
sigplanconf.cls more faffing Jun 17, 2014

README.md

Pivotal