recentpopularlog in


« earlier   
Union Types | Flow
Typing values that may be one of many different types
categorytheory  typetheory  types  facebook  flow  javascript 
2 days ago by ianchanning
The machine of gives you a way of testing what things ought to be and deducing what they are going…
CategoryTheory  from twitter_favs
15 days ago by tjweir
Yay! David Spivak and Brendan Fong are teaching a course on applied category theory based on their book, and the lectures are on YouTube! Here are the first two videos:
categorytheory  applications  blog 
4 weeks ago by euler
Interesting paper

Categories of

For a take on lenses and prisms,
Optics  HaskellPDF  CategoryTheory  Haskell  from twitter_favs
6 weeks ago by tjweir

Copy this bookmark:

to read