Similar repositories to gallais/type-scope-semantics:

• gallais/type-scope-semantics github similar
• danistefanovic/build-your-own-x github similar
• AndrasKovacs/stlc-nbe github similar
• gergoerdi/syntactic-stlc github similar
• jmchapman/Big-step-Normalisation github similar
• hazelgrove/agda-popl17 github similar
• bch29/agda-holes github similar
• pigworker/LibAgda github similar
• pigworker/Ohrid-Agda github similar
• jmchapman/Relative-Monads github similar
• reflectionalist/LC github similar
• gallais/typing-with-leftovers github similar
• pigworker/EGTBS github similar
• Toxaris/lift.pts github similar
• AndrasKovacs/misc-stuff github similar
• plclub/lngen github similar
• pigworker/SSGEP-DataData github similar
• AndrasKovacs/system-f-omega github similar
• Toxaris/pts github similar
• gergoerdi/stlc-agda github similar
• andreasabel/continuous-normalization github similar
• ayberkt/rafine github similar
• gallais/agdarky github similar
• dlicata335/cubicalexperiments github similar
• jonsterling/hs-abt github similar
• nmvdw/Three-HITs github similar
• jonsterling/agda-abt github similar
• jozefg/independence-of-the-continuum-hypothesis github similar
• sstucki/system-f-agda github similar
• effectfully/random-stuff github similar
• gallais/agdARGS github similar
• ollef/region github similar
• wrengr/exact-combinatorics github similar
• L-TChen/ModalTypeTheory github similar
• effectfully/Generic github similar
• jyp/topics github similar
• SimonJF/IdrisNet github similar
• ttuegel/loops github similar
• RedPRL/sml-cats github similar
• ayberkt/abt github similar