Similar repositories to ernius/formalmetatheory-stoughton:

• ernius/formalmetatheory-stoughton github similar
• sergei-romanenko/chapman-big-step-normalization github similar
• COST-IC1405/tr_materials github similar
• gergoerdi/system-f-agda github similar
• pigworker/BiF github similar
• pigworker/LibAgda github similar
• pigworker/Ohrid-Agda github similar
• effectfully/Eff github similar
• pigworker/WhatRTypes4 github similar
• AndrasKovacs/misc-stuff github similar
• mbudde/jana github similar
• parsonsmatt/lambda github similar
• sto0pkid/CategoryTheory github similar
• gergoerdi/syntactic-stlc github similar
• jmchapman/Big-step-Normalisation github similar
• gergoerdi/stlc-agda github similar
• pigworker/CS410-16 github similar
• hazelgrove/agda-popl17 github similar
• jonsterling/hs-abt github similar
• gergoerdi/universe-of-syntax github similar
• vincenthz/cabal-db github similar
• AndrasKovacs/stlc-nbe github similar
• effectfully/Cubes github similar
• gallais/type-scope-semantics github similar
• agda/ooAgda github similar
• Toxaris/pts github similar
• ezyang/lr-agda github similar
• pigworker/Totality github similar
• bch29/agda-holes github similar
• jmchapman/Relative-Monads github similar
• bitonic/tog github similar
• gallais/typing-with-leftovers github similar
• pigworker/Bi71 github similar
• dorchard/effects-as-sessions github similar
• kirkedal/rfun-interp github similar
• pigworker/Saturday github similar
• effectfully/Generic github similar
• gallais/agda-sizedIO github similar
• gergoerdi/icfp-bingo-2017-idris github similar
• bordaigorl/stargazer github similar