ska80

A seasoned Lisper with an interest in FP and dependent types.

• Created3 Jan, 2013
• Karma466