Similar repositories to juanbono/tapl-haskell:

• juanbono/tapl-haskell github similar
• pruvisto/TRS github similar
• juanbono/concrete-semantics-exercises github similar
• barras/abstract-machines github similar
• RedPRL/sml-cats github similar
• ayberkt/sml-system-t github similar
• haskell-rewriting/term-rewriting github similar
• bitonic/tog github similar
• RobertHarper/hott-notes github similar
• coq-community/semantics github similar
• TOTBWF/muprl github similar
• OPLSS/oplss-notes-2017 github similar
• david-christiansen/pudding-old github similar
• RobertHarper/TILT-Compiler github similar
• scott-fleischman/greek-grammar github similar
• andrew-bedford/coqatoo github similar
• scott-fleischman/agda-from-nothing github similar
• AndrasKovacs/system-f-omega github similar
• mortberg/yacctt github similar
• jyp/nano-Agda github similar
• algebraic-graphs/agda github similar
• owo-lang/minitt-rs github similar
• jozefg/nbe-for-mltt github similar
• jozefg/blott github similar
• mietek/charity-lang github similar
• larrytheliquid/Lemmachine github similar
• sweirich/tal github similar
• wilbowma/cur github similar
• ezyang/logitext github similar
• GeoCoq/GeoCoq github similar
• ucsd-progsys/elsa github similar
• astampoulis/makam github similar
• stedolan/mlsub github similar
• cpitclaudel/alectryon github similar
• mattearnshaw/lawvere github similar
• andrejbauer/spartan-type-theory github similar
• jrh13/hol-light github similar
• Carnap/Carnap github similar
• RedPRL/sml-redprl github similar
• nick8325/quickspec github similar