Similar repositories to steshaw/TAPL:

• steshaw/TAPL github similar
• danistefanovic/build-your-own-x github similar
• spacekitteh/hottopic github similar
• ggreif/thebook-haskell github similar
• vmchale/brainheck github similar
• steshaw/PLAR github similar
• elliottt/layout-rules github similar
• merijn/lambda-except github similar
• wereHamster/nauva github similar
• DataHaskell/awesome-haskell-ml github similar
• DanBurton/system-f github similar
• haskell-haskey/haskey-btree github similar
• haskell-suite/haskell-tc github similar
• rampion/kinder-functor github similar
• gallais/potpourri github similar
• isovector/typecraft github similar
• kadena-io/masala github similar
• steshaw/tiger-ml github similar
• yallop/haskell2014-papers github similar
• plum-umd/abstracting-definitional-interpreters github similar
• gasche/popl2018-papers github similar
• byorgey/thesis github similar
• UlfNorell/agda-summer-school github similar
• jozefg/hm github similar
• gspindles/Papers github similar
• sdiehl/dive-into-ghc github similar
• fpco/applied-haskell github similar
• hailstorm-hs/hailstorm github similar
• andreasabel/miniagda github similar
• degoes-consulting/lambdaconf-2015 github similar
• zjhmale/Ntha github similar
• bgamari/b-tree github similar
• lexi-lambda/higher-rank github similar
• pigworker/MetaprogAgda github similar
• heidihoward/ocaml-raft github similar
• ilya-klyuchnikov/tapl-scala github similar
• ocramz/xeno github similar
• ollef/Bidirectional github similar
• adamgundry/type-inference github similar
• brunjlar/neural github similar