Similar repositories to jonsterling/agda-brouwerian-mathematics:

• jonsterling/agda-brouwerian-mathematics github similar
• danistefanovic/build-your-own-x github similar
• banacorn/language-agda github similar
• pigworker/Ming github similar
• SimonJF/IdrisNet github similar
• banacorn/formal-language github similar
• paf31/Embedding-a-Full-Linear-Lambda-Calculus-in-Haskell github similar
• tomdjong/domain-theory-in-uf github similar
• jonsterling/TT-Reflection github similar
• jonsterling/agda-zipper-machine github similar
• CHTT-s18/lecture-notes github similar
• copumpkin/java github similar
• ericfinster/opetopes-in-agda github similar
• nmvdw/Three-HITs github similar
• effectfully/random-stuff github similar
• gallais/aGdaREP github similar
• bobatkey/sorting-types github similar
• m-yac/tt-in-cagda github similar
• ZongzheYuan/HaltingProblem github similar
• tonymorris/fp-projects github similar
• heades/System-F-Coq github similar
• gallais/type-scope-semantics github similar
• dalaing/type-systems github similar
• TOTBWF/iso github similar
• banacorn/socket.io-haskell github similar
• ezyang/lr-agda github similar
• pigworker/Totality github similar
• twanvl/ttie github similar
• agda/agda-system-io github similar
• wenkokke/msla2014 github similar
• cohomolo-gy/homotopy-type-theory-notes github similar
• RobertHarper/hott-notes github similar
• effectfully/STLC github similar
• dlicata335/hott-agda github similar
• thoughtpolice/strict-ghc-plugin github similar
• ocamllabs/ocaml-effects github similar
• effectfully/Generic github similar
• L-TChen/MtacAR github similar
• pigworker/so-pigworker github similar
• pigworker/Pivotal github similar