Clean architecture - sample page.png
Code Complete - another sample page.png
Code Complete - sample page.png
Ellingson - Electromagnetics vol. 2, sample page.png
Jazar. Theory of Applied Robotics 2nd edition - sample page.png
Properties of natural transformations 2020-05-31.pdf
SBTB-2021-what-I-learned-in-FP.lyx
SBTB-2021-what-I-learned-in-FP.pdf
SBTB-2021-what-I-learned-in-FP.tex
Schaum's outline of electric curcuits, 4th edition - sample page.png
Sinnott, Tower. Chemical Engineering Design 5th edition - sample page.png
Solid software design architecture handbook - sample page.png
Winitzki - conformal diagrams - sample page.png
Winitzki - eibook - sample page.png
Winitzki - physics paper - sample page.png
curryhoward-2020-short.lyx
curryhoward-2020-short.pdf
curryhoward-2020-short.tex
equivalence-under-laws.lyx
equivalence-under-laws.pdf
equivalence-under-laws.tex
explaining-theorems-for-free.lyx
explaining-theorems-for-free.pdf
explaining-theorems-for-free.tex
functional-programming-advantages.lyx
functional-programming-advantages.pdf
functional-programming-advantages.tex
parametricity-1-for-bifunctors.lyx
parametricity-1-for-bifunctors.pdf
parametricity-1-for-bifunctors.tex
parametricity-meetup-talk.lyx
parametricity-meetup-talk.pdf
parametricity-meetup-talk.tex
reasoning-natural-transformations.lyx
reasoning-natural-transformations.pdf
reasoning-natural-transformations.tex
reasoning-types-code-lectures.lyx
reasoning-types-code-sf-scala.lyx
reasoning-types-code-sf-scala.pdf
relational-parametricity-lectures.lyx
relational-parametricity-lectures.pdf
relational-parametricity-lectures.tex
relational-parametricity-tutorial.lyx
relational-parametricity-tutorial.pdf
relational-parametricity-tutorial.tex
what-did-category-theory-do-for-us.lyx
what-did-category-theory-do-for-us.pdf
Folders and files Name Name Last commit message
Last commit date
parent directory
View all files
You can’t perform that action at this time.