Hacker News new | ask | show | jobs
by thecity2 3285 days ago
This sounds a bit like Idris with its dependent types.