Type safety challenge in Idris: using dependent types for the bowling game kata (deque.blog) 4 points by deque-blog 9y ago ↗ HN
0 comments
[ 2.9 ms ] story [ 14.7 ms ] threadNo comments yet.