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
[ 10.4 ms ] story [ 9.5 ms ] threadNo comments yet.