Hacker News new | ask | show | jobs
by dmbaturin 4028 days ago
Do you have a (more or less) formal description of the type system?