Hacker News new | ask | show | jobs
by machiaweliczny 2199 days ago
Seems like subset of dependent types to me