Similar repositories to sjoerdvisscher/effects:

• sjoerdvisscher/effects github similar
• gibiansky/IHaskell github similar
• RobertHarper/hott-notes github similar
• aquynh/capstone github similar
• danistefanovic/build-your-own-x github similar
• ziman/itt github similar
• tomjaguarpaw/product-profunctors github similar
• niccoloveltri/agda-gtt github similar
• Chaaaos/formaltt github similar
• sjoerdvisscher/unfoldable github similar
• Zekt/Type-Embellishment github similar
• as-capabl/clay-dhall github similar
• pavelchristof/semi-iso github similar
• Boarders/cedille-core github similar
• Lysxia/coq-recursion-schemes github similar
• mroman42/optics-form-a-category github similar
• wolverian/agda-template github similar
• iagodahlem/drumpad github similar
• sarabander/lfe.github.io github similar
• sarabander/haskell-vim-now github similar
• YipYep/client github similar
• fteem/lgtm github similar
• bobatkey/polly github similar
• jonsterling/lecture-notes github similar
• groupoid/languages github similar
• Soonad/Formality-Agda github similar
• forked-from-1kasper/tt github similar
• juxt/crux github similar
• mortberg/AlgTop github similar
• 5HT/DependentLinearPi github similar
• nfrisby/polyvariadic-generic-deriving github similar
• sstucki/pts-agda github similar
• y-yu/atnos-eff-last-action github similar
• stefanstr/Small-Love2D-Projects github similar
• astrofrog/hyperion github similar
• NorfairKing/cn-cards github similar
• lfonseca/choosing-the-architecture github similar
• sayon/fp-cata-presentation github similar
• alura-cursos/clojure-records github similar
• nybble41/effects-parser github similar