Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • main default protected
  • master
2 results
Created with Raphaël 2.2.010Jan876319Jun4Apr19Mar151423Feb131217Jan161121Nov96530Oct2928262524221121Sep2025Jul12111098767653230Jun292827262522212019181716151413121130May26252422211298654329Apr2726252420177643230Mar2861very littlefinish the cbv to gtt proofsmore proofs, including function cast reduction stepcbv syntax, op semantics, translationadd jfp bibmigrate to jfp-paper/jfp-gtt.texRevert "start adding recursive value types"include defs!some more cbv gttsome translationcbv function uniqueness proofpenn talk updateinit jfpadd penn talkwrite up my gradual type theory talk notestalk doneexamplesoutline of talk on mondaystart adding recursive value typesshow how recursive types work as least pre-fixed pointssome notes on extending GTT with recursive typesfinal version of talkprobably final slidescheckin for saeftycheckin slides just in casefix bad rebaseupdate acmart, use correct titlecasecamera ready stufflong titlesome spacey stuff for the long versionadd in copyright and classification stuff, hack one sentence to get itmore space hackery. No more overfull hboxesa space hacklong version stuff and a typospell checktyposadd a summary of the revisionsfix the fixme, and blame soundness refperiodmove eta paragraph earlier