Similar repositories to diogob/reader-tutorial:
diogob/reader-tutorial
github
similar
TOTBWF/agda-category-theory-exercises
github
similar
oswald2/haskell_articles
github
similar
llelf/icfp2019-papers
github
similar
LeifAndersen/PLGradSchools
github
similar
andrejbauer/homotopy-type-theory-course
github
similar
michaelt/martin-lof
github
similar
thomashoneyman/purescript-halogen-realworld
github
similar
plfa/plfa.github.io
github
similar
jozefg/learn-tt
github
similar
HoTT/book
github
similar
facebook/duckling
github
similar
system-f/fp-course
github
similar
unisonweb/unison
github
similar
railsware/upterm
github
similar
public-apis/public-apis
github
similar