Similar repositories to zmthy/recursive-types:

• zmthy/recursive-types github similar
• peterthiemann/dual-session github similar
• LcicC/inference-systems-agda github similar
• boystrange/FairSubtypingAgda github similar
• niccoloveltri/final-pfin github similar
• keigoi/scribble-memo github similar
• chrisbartoloburlo/stmonitor github similar
• keigoi/caramel-mpst github similar
• boystrange/FairTermination github similar
• jonsterling/effectful-typesetting github similar
• LBacchiani/session-subtyping-tool github similar
• emtst/zooid-cmpst github similar
• RichardMoot/Grail0 github similar
• oisdk/finiteness-in-cubical-type-theory github similar
• xnning/Consistent-Subtyping-for-All github similar
• nachivpn/gluetn github similar
• TOTBWF/agda-sgd github similar
• clayrat/coherence-spaces github similar
• magnatelee/implicitcalculus github similar
• martinescardo/EffectfulForcing github similar
• peterthiemann/definitional-session github similar
• jonsterling/agda-synthetic-domain-theory github similar
• zilberstein/system-fc-coq github similar
• umazalakain/CoContextualPi github similar
• ericfinster/opetopic-types github similar
• thibautbenjamin/catt github similar
• jonsterling/sml-modernized-algol github similar
• RichardMoot/LinearOne github similar
• tetrapharmakon/yoneda-in-tongues github similar
• JorisCeulemans/sikkel github similar
• rowandavies/sml-cidre github similar
• jonsterling/coq-domains github similar
• ualib/ualib.github.io github similar
• gallais/aGdaREP github similar
• joom/proof-tree-builder github similar
• AD1024/veripy github similar
• wenkokke/priority-sesh github similar
• andreasabel/strong-normalization github similar
• benjaminselfridge/logix github similar
• sweirich/graded-haskell github similar