agda, dependent types, proof assistant, Martin-Löf
No more posts from beachlorn's subscribed feeds.
Press ? anytime to show this help