Account Summary

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...

Projects Used

L

Jari OSyixmonad
Joined Open Hub
almost 10 years ago

Development History

The analysis for this account has been scheduled.