graphov

I like functional programming in Haskell, dependent type systems (like in Agda2), lisp family languages (scheme first of all), electronics (soldering first of all :). more...

I like functional programming in Haskell, dependent type systems (like in Agda2), lisp family languages (scheme first of all), electronics (soldering first of all :).

Also climbing and fishing.

less...