Hacker Newsnew | past | comments | ask | show | jobs | submit login

user: j-o-m created: 55 days ago karma: 7 about: non-full time developer, Type Theory and Programming Language enjoy-er, developer of Multi-Modal, Dependently Typed language developer submissions comments favorites