git.iko.soy/Idris-dev
on dcdebfc help sign in
history ofpapers/impl-paper/typechecking.tex
all commits
8000794Final (I hope!) implementation paper tinkeringEdwin Brady ca6c931Paper revisionsEdwin Brady db1e94fSome implementation paper adjustmentsEdwin Brady 1862197Switch Vect arguments in implementation paperEdwin Brady 091a5dfSome polishing, spell checkingEdwin Brady 7574d09Lots of implementation paper revisionsEdwin Brady 2b3634aTinker with spacingEdwin Brady 48b3618Added metatheoretic propertiesEdwin Brady 528c4b4Note on metatheoryEdwin Brady 0d11515Lots of implementation paper revisionEdwin Brady 75e7758Some progress on implementation paper revisionsEdwin Brady 09857e4Created papers directoryEdwin Brady