Similar repositories to jin/subtyping:

• jin/subtyping github similar
• danistefanovic/build-your-own-x github similar
• lolesvalverde/MDenHaskell github similar
• gibiansky/IHaskell github similar
• hecrj/iced github similar
• Alasdair/IsabelleAlgebra github similar
• xieyuheng/tartlet github similar
• NICTA/l4v github similar
• ct-gradual-typing/Grady github similar
• larrytheliquid/spire github similar
• proofpeer/proofpeer-proofscript github similar
• CoqHott/Program-translations-CC-omega github similar
• mratsim/haskell-numbertheory github similar
• sile/erl_parse github similar
• lexi-lambda/racket-higher-rank github similar
• owo-lang/MLPolyR github similar
• brunofx86/LL github similar
• vishesh/racketscript github similar
• lambda-11235/ttyped github similar
• pnwamk/sst-tutorial github similar
• namin/lambda-cube github similar
• jmchapman/Big-step-Normalisation github similar
• kosmikus/indexed github similar
• derekelkins/ads github similar
• jyp/sctt github similar
• CoqHott/exceptional-tt github similar
• barrucadu/minifu github similar
• RemuLang/remu-type-system github similar
• willtim/Atavachron github similar
• def-/ghc-datasize github similar
• mietek/imla2017 github similar
• csgordon/cayenne github similar
• fisherdj/miniAdapton github similar
• rowandavies/sml-cidre github similar
• moajohansson/IsaHipster github similar
• rampion/conkin github similar
• benjaminselfridge/logix github similar
• robrix/freer-cofreer github similar
• zw3rk/toolchain-wrapper github similar
• owickstrom/purescript-leffe github similar