Currently exploring functional programming and dependent type systems

Also working in small software company in Belgrade

my_nickname at gmail