scribbles topic

Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on

mgrabovsky

Today I Learned: collection of notes, tips and tricks and stuff I learn from day to day working with computers and technology as an open source contributor and product manager

jonasbn