Type theory for busy engineers
Primary LanguageRustCreative Commons Zero v1.0 UniversalCC0-1.0
Clone this repo for new talks