Type safety challenge in Idris: using dependent types for the bowling game katadeque.blog4 points·deque-blog··0 commentsOpen articleSaveView on HN