Hacker News new | ask | show | jobs
Type safety challenge in Idris: using dependent types for the bowling game kata (deque.blog)
4 points by deque-blog 3281 days ago