Hacker News new | ask | show | jobs
by vmchale 941 days ago
It is statically typed, there's a lot of depth to that side of things (Curry-Howard isomorphism)