Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- data Fin : Nat -> Set where
- zero : {n : Nat} -> Fin (suc n)
- succ : {n : Nat} -> Fin n -> Fin (suc n)
- (Fin 0) -> False ?
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement