type theory, dependent types, generics, type inference
No more posts from niss36's subscribed feeds.
Press ? anytime to show this help