Similar repositories to jtkristensen/f-flat:

• jtkristensen/f-flat github similar
• danistefanovic/build-your-own-x github similar
• tuvtran/project-based-learning github similar
• cedille/icfp18-tutorial github similar
• Agnishom/lattice-mtl github similar
• gallais/proof-search-ILLWiL github similar
• bacam/handlers-in-ott github similar
• casvdrest/composable-semantics github similar
• danelahman/POPL18 github similar
• peterthiemann/definitional-session github similar
• aturon/Caper github similar
• Zekt/Type-Embellishment github similar
• jespercockx/agda2scheme github similar
• 5HT/DependentLinearPi github similar
• dorchard/betty-book-haskell-sessions github similar
• matijapretnar/proofs github similar
• RedPRL/algaett github similar
• gdijkstra/hs-to-gallina github similar
• Gertjan423/KHC github similar
• andreasabel/java-adt github similar
• umazalakain/session-types-coq github similar
• Beluga-lang/Meta github similar
• lambdabetaeta/modal-logics github similar
• FrozenWinters/SbE github similar
• laMudri/generic-lr github similar
• laser/cis-194-winter-2016 github similar
• dorchard/co519-logic github similar
• L-TChen/ModalTypeTheory github similar
• hashmal/shirka github similar
• Chaaaos/formaltt github similar
• arthuraa/agda-hoas-demo github similar
• metaborg/linear.agda github similar
• mr-ohman/logrel-mltt github similar
• sstucki/pts-agda github similar
• ayberkt/sequents github similar
• andreasabel/helf github similar
• kcsmnt0/quotient github similar
• gallais/typing-with-leftovers github similar
• bobatkey/agda-metric-reals github similar
• RobertHarper/hott-notes github similar