Similar repositories to gallais/typing-with-leftovers:

• gallais/typing-with-leftovers github similar
• danistefanovic/build-your-own-x github similar
• RobertHarper/hott-notes github similar
• effectfully/Cubes github similar
• groupoid/anders github similar
• hecrj/iced github similar
• gergoerdi/syntactic-stlc github similar
• ayberkt/simplc github similar
• gallais/agdarky github similar
• takanuva/coc github similar
• metaborg/linear.agda github similar
• mr-ohman/logrel-mltt github similar
• effectfully/STLC github similar
• gibiansky/IHaskell github similar
• agda/ooAgda github similar
• dorchard/effects-as-sessions github similar
• ollef/region github similar
• bobatkey/system-f-parametricity-model github similar
• sstucki/pts-agda github similar
• SimonJF/IdrisNet github similar
• pigworker/LibAgda github similar
• nachivpn/expelim github similar
• AndrasKovacs/preordertt github similar
• AHartNtkn/IotaTT github similar
• effectfully/random-stuff github similar
• ahmadsalim/well-typed-agda-interpreter github similar
• emtst/emtst-proof github similar
• AndrasKovacs/stlc-nbe github similar
• jonsterling/agda-effectful-forcing github similar
• laMudri/generic-lr github similar
• jespercockx/agda2scheme github similar
• effectfully/OTT github similar
• pigworker/TypesWhoSayNi github similar
• langston-barrett/write-yourself-a-scheme-in-agda github similar
• clayrat/idris-linear github similar
• fsestini/tt-in-cubical github similar
• bordaigorl/stargazer github similar
• cedille/cedille-developments github similar
• google/idris-protobuf github similar
• gallais/type-scope-semantics github similar