jiribenes
Jiří Beneš
Computer Science student at MFF UK. Interested in functional languages, programming languages theory (PLT), type theory and compilers!
undefined