projects / cubicaltt.git / summary
? search:
summary | shortlog | log | commit | commitdiff | tree

 
descriptionMy fork of cubicaltt with web interface using Reflex.
last changeSat, 12 Nov 2022 16:57:10 +0000 (20:57 +0400)
URLhttps://git.ak3n.com/cubicaltt.git
shortlog
2022-11-12 Evgenii AkentevAdd minified build master commit | commitdiff | tree | snapshot
2022-11-11 Evgenii AkentevUpdate reflex and the code commit | commitdiff | tree | snapshot
2020-08-31 Evgenii AkentevAdd web version of cubicaltt commit | commitdiff | tree | snapshot
2018-10-16 Anders Mörtbergsupport hcomp in typechecker commit | commitdiff | tree | snapshot
2018-10-16 Anders Mörtbergadd parsing of hComp commit | commitdiff | tree | snapshot
2018-09-19 Anders Mörtbergfix eta for glue (note: the type is still missing from... commit | commitdiff | tree | snapshot
2018-09-16 Floris van... define pointed maps, and prove some equivalences betwee... commit | commitdiff | tree | snapshot
2018-06-10 Anders Mörtbergdon't truncate error messages so much commit | commitdiff | tree | snapshot
2018-06-10 Anders Mörtbergmake cubicaltt compile with the latest version of GHC commit | commitdiff | tree | snapshot
2018-05-25 favoniaMake GNUmakefile more customizable. commit | commitdiff | tree | snapshot
2018-04-25 Anders Mörtbergfix indentation in univalenceAlt commit | commitdiff | tree | snapshot
2018-04-19 Anders Mörtbergopaque uaret commit | commitdiff | tree | snapshot
2018-04-19 Anders Mörtbergcopy over brunerie.ctt from hcomptrans branch. some... commit | commitdiff | tree | snapshot
2018-04-19 Anders Mörtbergadd 5th winding number commit | commitdiff | tree | snapshot
2018-04-09 Carlo AngiuliClean up isoToEquiv proof with Anders. commit | commitdiff | tree | snapshot
2018-02-23 Anders Mörtbergadd an alternative proof of J commit | commitdiff | tree | snapshot
...
heads
2 years ago master shortlog | log | tree
My fork of cubicaltt with web interface using Reflex.