KonjacSource
Results
1
issues of
KonjacSource
# Steps to Reproduce Just load this. ```idris data Even : Nat -> Type where MkEven : (j: Nat) -> DPair Nat (\n => j = n + n) ->...
status: confirmed bug
safety: proof of false