“Categorical” type theory

ID: 599968784

linkhttps://uemurax.github.io calendar_today05-06-2012 09:25:24