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