Bálint Kocsis
Results
2
issues of
Bálint Kocsis
I've found an inconsistency bug: ```idris %default total A : Type A = ((), Nat) Z : A Z = ((), 0) S : A -> A S a =...
status: confirmed bug
safety: coverage
safety: proof of false
I wanted to contribute to the book, so I built it locally. The build pipeline works perfectly, but the generated site does not look the same as the one on...