kmltml - Overview
Graduated master engineer in Computer Science at AGH UST, Kraków. In love with functional programming, type theory and dependently typed languages.
- Kraków
kmltml - Overview
Graduated master engineer in Computer Science at AGH UST, Kraków. In love with functional programming, type theory and dependently typed languages.