Contributor
@iblech
repos
7
ecosystems
languages
4
commits
120
Agda is a dependently typed programming language / interactive theorem prover.
Maintainable configuration files
glitch images with jpg encoding
A parser combinator library for Rust
Subscriber view
Already a subscriber? Sign in with the same email used at checkout.