Similar repositories to RedPRL/sml-typed-abts:

• RedPRL/sml-typed-abts github similar
• danistefanovic/build-your-own-x github similar
• gibiansky/IHaskell github similar
• RobertHarper/hott-notes github similar
• jonsterling/agda-zipper-machine github similar
• robsimmons/abbot github similar
• RedPRL/sml-dependent-lcf github similar
• jonsterling/sml-pronominal-ml github similar
• jonsterling/sml-modernized-algol github similar
• jozefg/miniprl github similar
• agda/agda-spec github similar
• jonsterling/tt github similar
• jonsterling/agda-bar-induction github similar
• jonsterling/agda-abt github similar
• jonsterling/hs-abt github similar
• pigworker/Bi71 github similar
• neel-krishnaswami/linearml github similar
• thsutton/cha github similar
• jonsterling/sml-logical-framework github similar
• andrejbauer/miniLCF github similar
• gergoerdi/stlc-agda github similar
• dlicata335/cubicalexperiments github similar
• rossberg/mixml github similar
• jozefg/independence-of-the-continuum-hypothesis github similar
• groupoid/anders github similar
• pigworker/BiF github similar
• plclub/cis670-16fa github similar
• mikeshulman/cohesivett github similar
• mietek/et-lang github similar
• nbenton/coqdomains github similar
• maxsnew/grammars-and-semantic-actions github similar
• pigworker/Samizdat github similar
• RedPRL/sml-cats github similar
• pigworker/Ohrid-Agda github similar
• jonsterling/coq-guarded-computational-type-theory github similar
• AndrasKovacs/qiit-generalizations github similar
• scmu/mrm github similar
• jonsterling/topos-theory-notes github similar
• dschepler/coq-sequent-calculus github similar
• mortberg/yacctt github similar