Similar repositories to cedille/icfp18-tutorial:

• cedille/icfp18-tutorial github similar
• danistefanovic/build-your-own-x github similar
• shaunlebron/parinfer github similar
• ReactTraining/react-router github similar
• texttheater/mercury-playground github similar
• blockstack/stacks github similar
• motemen/gore github similar
• Eloston/ungoogled-chromium github similar
• cedille/cedille-cast github similar
• jtkristensen/f-flat github similar
• pigworker/BiF github similar
• groupoid/anders github similar
• konn/vscode-generic-input-method github similar
• siddhartha-gadgil/LTS2019 github similar
• umazalakain/session-types-coq github similar
• peterthiemann/definitional-session github similar
• mietek/agda-intro github similar
• banacorn/formal-language github similar
• EduardSergeev/vscode-haskutil github similar
• tjpeden/rustboy github similar
• Co-dfns/apixlib github similar
• leanprover/presentations github similar
• jonaprieto/agda-prop github similar
• erlang-labs/dialyzer github similar
• conal/total-map github similar
• pigworker/TypesWhoSayNi github similar
• casvdrest/composable-semantics github similar
• mukeshtiwari/Idris github similar
• gdijkstra/hs-to-gallina github similar
• cedille/cedille-developments github similar
• astump/cedilleum-spec github similar
• achlipala/frapapp github similar
• andreasabel/java-adt github similar
• laMudri/generic-lr github similar
• gallais/aGdaREP github similar
• jespercockx/agda2scheme github similar
• mit-frap/spring21 github similar
• RobertHarper/hott-notes github similar
• agda/agda-pkg github similar
• dhil/phd-dissertation github similar