Hacker News new | ask | show | jobs
by crowdhailer 1 day ago
Bringing a sound and totally inferred type system, including of all effects. Is the main dimension. It also aims to improve the friction around managing dependencies.