3 ms·Type safety challenge in Idris: using dependent types for the bowling game kata4 points by deque-blog 9y ago