Similar repositories to dylnb/esslli2015-monads:
dylnb/esslli2015-monads
github
similar
tootsuite/mastodon
github
similar
gibiansky/IHaskell
github
similar
danistefanovic/build-your-own-x
github
similar
hanxiao/bert-as-service
github
similar
danelahman/lograc-2022
github
similar
cb125/Dynamics
github
similar
cb125/Scoreboards
github
similar
guspopje/agda-qelim
github
similar
laughedelic/M-Cohomology
github
similar
mary-octavia/the-smiths-made-me-do-it
github
similar
pigworker/Ohrid-Agda
github
similar
benediktahrens/monads
github
similar
mandubian/maquereau
github
similar
bitemyapp/monad-transformers-step-by-step
github
similar
pigworker/CS410-16
github
similar
sungiant/zenith
github
similar
ekmett/multicategories
github
similar
patrikja/AFPcourse
github
similar
leftaroundabout/constrained-categories
github
similar
HoTT/M-types
github
similar
mietek/formal-logic
github
similar
srid/reflex-stone
github
similar
bobatkey/CS316-2020
github
similar
RobertHarper/hott-notes
github
similar
donglixp/confidence
github
similar
mpickering/hlint-refactor-mode
github
similar
UKPLab/emnlp2017-graphdocexplore
github
similar
aische/typelevel-examples
github
similar
fintelkai/fintel-heim-intensional-notes
github
similar
Vaguery/klapaucius
github
similar
semprag/biblatex-sp-unified
github
similar
andrejbauer/what-is-algebraic-about-algebraic-effects
github
similar
cmu-phil/Spectral
github
similar
BartoszMilewski/AofC2017
github
similar
nikita-volkov/domain
github
similar
felixwellen/DCHoTT-Agda
github
similar
beala/symbolic
github
similar
TikhonJelvis/Simple-Prolog
github
similar
andrejbauer/notes-on-realizability
github
similar