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.026Jan2524232219181327Dec829Nov28171614624Oct1913109875329Sep26222015730Aug2823221584128Jul25201811325Jun2085432131May3029282725242322181725Apr2014131Mar30292123Feb1312Jan411Dec20Oct181211417Aug27Jul21191824May218Jan74331Dec2416151488Sep31Jan3010876319Jun4Apr19Mar151423Feb131217Jan161121Nov96530Oct2928262524221121Sep2025Jul12111098767653230Jun292827262522212019181716151413121130May26252422211298654329Apr2726252420177643230Mar2861update referenceswork on proof of adequacy and move it to concrete model; work on dyn in concrete modeldiscussion revisionsnote for Ericsyntax sectionwork on discussionupdate some definitions in the abstract modelfix trailing sentencediscuss Siek-Chenupdate discussionerrors in the extensional modelremove outdated sectionmore syntax and sketch semantics in extensional modelupdate definitionsupdates mostly to extensional modelwork on concrete modelrevise discussionchanges to categorical modelupdates to appendixmore introadjust outlineprose on cbpv modelsfix build issues, progress on CBPV semanticsdiscussion on adgda workstrict and lax homomorphisms of CBPV modelsmostly writing updateswork on proofs in appendixupdates to abstract categorical model sectioncorrect title/authorssketchy stuff in the appendix on syntax and update to the extensional modelmatch Eric's notation for linear morphismsadd some definitionsdescribe Kleisli action on squareswork on abstract model constructionsupdate definition of abstract modelseparately functorial actions of CBPV type constructors on Kleisli arrowssome intro work and add macros for commentsbegin appendixbegin discussion sectionbegin section on concrete model