Similar repositories to jonsterling/purescript-lcf:

• jonsterling/coq-meaning-explanation github similar
• jonsterling/brouwer-translations github similar
• jonsterling/purescript-abt github similar
• jonsterling/purescript-lcf github similar
• jonsterling/remark-on-hypothetical-judgment github similar
• slamdata/purescript-aff-reattempt github similar
• kristinas/hinitiality github similar
• jonsterling/agda-abt github similar
• UlfNorell/category-theory-experiments github similar
• nbenton/coqdomains github similar
• maxsnew/grammars-and-semantic-actions github similar
• jonsterling/agda-effectful-forcing github similar
• RedPRL/sml-dependent-lcf github similar
• jyp/sctt github similar
• mattam82/Forcing github similar
• mikeshulman/dirtt github similar
• ericfinster/opetopes-in-agda github similar
• JasonGross/lob github similar
• mikeshulman/cohesivett github similar
• RobertHarper/hott-notes github similar
• hubris-lang/hubris github similar
• purescript/purescript-exists github similar
• RedPRL/sml-typed-abts github similar
• markokoleznik/agda-writer github similar
• msp-strath/ZEUG github similar
• lukemaurer/sequent-core github similar
• ericfinster/opetopic github similar
• pcapriotti/agda-base github similar
• aa755/ROSCoq github similar
• willcrichton/rabbot github similar
• pigworker/shonky github similar
• paf31/purescript-derive-lenses github similar
• cmu-phil/Spectral github similar
• thescrivener/PursuingStacks github similar
• RobertHarper/TILT-Compiler github similar
• purescript/purescript-validation github similar
• unicoq/unicoq github similar
• ekmett/structs github similar
• jozefg/miniprl github similar
• scmu/foundations-harper github similar