About Me
// Hello, World !
Top Answers
-
Increment binary value type by one
5 votes
-
Why won't the following Agda code typecheck?
3 votes
-
Proving a theorem using equality relation: ∀[ x ] ∀[ y ] (¬ Eq x y → ¬ Eq (f x) (f y))
2 votes
-
Agda equivalent of `destruct <term> eqn:<identifier>`
1 votes
-
Need help converting number to string in Agda
1 votes
Top Questions
-
Purpose of anonymous modules in Agda
3 votes1 answers