Similar repositories to UlfNorell/agda-summer-school:

• UlfNorell/agda-summer-school github similar
• danistefanovic/build-your-own-x github similar
• RobertHarper/hott-notes github similar
• scmu/foundations-harper github similar
• rodrigogribeiro/agda-software-foundations github similar
• dlicata335/hott-agda github similar
• gibiansky/IHaskell github similar
• shaunlebron/parinfer github similar
• jstolarek/why-dependent-types-matter github similar
• crypto-agda/crypto-agda github similar
• jyp/nano-Agda github similar
• pigworker/CS410-14 github similar
• TheoWinterhalter/formal-type-theory github similar
• effectfully/Cubes github similar
• pigworker/CS410-15 github similar
• pigworker/Totality github similar
• copumpkin/categories github similar
• spire/spire github similar
• Saizan/miller github similar
• jonsterling/JonPRL github similar
• david-christiansen/idris-interaction.rkt github similar
• groupoid/anders github similar
• RobertHarper/TILT-Compiler github similar
• AndrasKovacs/stlc-nbe github similar
• pigworker/MetaprogAgda github similar
• pi8027/lambda-calculus github similar
• ezyang/lr-agda github similar
• wenkokke/msla2014 github similar
• pigworker/Bi71 github similar
• gasche/popl2018-papers github similar
• sstucki/system-f-agda github similar
• scott-fleischman/agda-from-nothing github similar
• tootsuite/mastodon github similar
• standardml/twelf github similar
• gallais/agdarky github similar
• dorchard/effects-as-sessions github similar
• idris-hackers/iQuery github similar
• neel-krishnaswami/linearml github similar
• gergoerdi/stlc-agda github similar
• AndrasKovacs/system-f-omega github similar