dependent type theory, Idris, Agda, Pi types, Sigma types
No more posts from beachlorn's subscribed feeds.
Press ? anytime to show this help