Similar repositories to SydneyTypes/PLATYPUS:

• SydneyTypes/PLATYPUS github similar
• gibiansky/IHaskell github similar
• jonsterling/sml-ifol-completeness github similar
• jonsterling/sml-spreads github similar
• jonsterling/coq-meaning-explanation github similar
• jonsterling/brouwer-translations github similar
• jonsterling/ocaml-abt github similar
• jonsterling/bar-induction-slides github similar
• chrisosaurus/calculi github similar
• jonsterling/remark-on-hypothetical-judgment github similar
• RedPRL/sml-lcf github similar
• tel/ocaml-abt github similar
• jonsterling/agda-bar-induction github similar
• jonsterling/agda-abt github similar
• RobertHarper/hott-notes github similar
• nbenton/coqdomains github similar
• jonsterling/itt-bidirectional github similar
• ollef/region github similar
• david-christiansen/jonprl-mode github similar
• lucch/pesca github similar
• brunofx86/LL github similar
• pigworker/WhatRTypes4 github similar
• mrkgnao/system-dc github similar
• thsutton/cha github similar
• jyp/sctt github similar
• RobertHarper/hott-materials github similar
• jonsterling/sml-logical-framework github similar
• conal/talk-2016-generic-parallel-scan github similar
• jonsterling/sml-modernized-algol github similar
• gergoerdi/stlc-agda github similar
• domdere/fp-in-idris github similar
• jonsterling/hs-abt github similar
• ak3n/abt-zoo github similar
• jonsterling/lcf-sequent-calculus-example github similar
• adrieng/pulsar github similar
• mikeshulman/cohesivett github similar
• msullivan/typecoin github similar
• RedPRL/sml-typed-abts github similar
• lukemaurer/sequent-core github similar
• scalasyd/scalasyd github similar