Open Hub
Open Hub
 

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

img avatarimg avatar
Joined Open Hub
over 17 years ago

Development History

The analysis for this account has been scheduled.