Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • WIP-mutual
  • agda-sizes
  • agda-sizes-arrow
  • agda-sizes-strictly-pos-arrow
  • agda-subtyping
  • agda-subtyping-monad
  • cek
  • coq-multifunctor
  • dijkstra
  • elisp-pending
  • explicit-coercions
  • imports
  • main default protected
  • merge-stefan
  • stefan
  • tree-structure-for-imported-files
16 results
Created with Raphaël 2.2.03Mar9Jan10Jul1126Jun211722May17730Apr28151211537Mar3128Feb2524232219181716141211986231Jan272624181312118422Dec2116119852130Nov272116141311973128Oct1817141386564343130Sep292627252622191816151413121087543131Aug27252220171211105432131Jul29252422212019181715141310728Jun2322181412976532130May29282623211817141210865427Apr21201511416Mar14fixed bug in typing of fixmainmainadding logagda-sizesagda-sizesadding log/divanother MR for Nick DecroosMerge branch 'dcs-scanr2' into mainadded contributions of Nick DecroosMerge branch 'isEven' into 'main'Added isEven predicate to Nat.dcs and added testscanr using an omega-termfixed typoupdated Sage's contribution with interpreter, documented epsilonMerge branch 'cek' into maincleaned up after confirming that we are type-checking expressionscekcekadd import for joinMerge branch 'data-list' into 'main'Added 'and' and 'or' functions to List.dcsdescribing status of Agda developmentWIPagda-subtyping-…agda-subtyping-monadStuckF<: Donefix up Fmap's typeworked through Pure case of lemma with EarlDraftMessy draftsClean proof for functoragda-subtypingagda-subtypingprepare for new branchMerge branch 'agda-sizes' into coq-multifunctorcoq-multifunctorcoq-multifunctorminorignore agdaiMerge branch 'main' into coq-multifunctorfixed issue in solver, updated examples with new likeness symreorganizingadding a different unicode character for likeness constraintsremoved some dead code (error messages we don't generate now)replace listMap with just mapMerge branch 'log' into 'main'log functionmerge main into cekrefactoringadded span, break, and wordsBy functions (from our POPL 2023 paper)