dependent type theory, Idris, Agda, proof assistant, type-level programming
No more posts from estaugaard's subscribed feeds.
Press ? anytime to show this help