Mathijs Kwik
Results
1
issues of
Mathijs Kwik
```agda open import Level using (Level; _⊔_; 0ℓ) open import Data.Fin using (Fin; zero; suc) open import Data.List as List using (List; []; _∷_) open import Data.Nat using (ℕ; zero;...
type: enhancement
with
rewrite
erasure