Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- finToHex : Fin 16 -> Char
- finToHex FZ = '0'
- finToHex (FS FZ) = '1'
- finToHex (FS (FS FZ)) = '2'
- finToHex (FS (FS (FS FZ))) = '3'
- finToHex (FS (FS (FS (FS FZ)))) = '4'
- finToHex (FS (FS (FS (FS (FS FZ))))) = '5'
- finToHex (FS (FS (FS (FS (FS (FS FZ)))))) = '6'
- finToHex (FS (FS (FS (FS (FS (FS (FS FZ))))))) = '7'
- finToHex (FS (FS (FS (FS (FS (FS (FS (FS FZ)))))))) = '8'
- finToHex (FS (FS (FS (FS (FS (FS (FS (FS (FS FZ))))))))) = '9'
- finToHex (FS (FS (FS (FS (FS (FS (FS (FS (FS (FS FZ)))))))))) = 'A'
- finToHex (FS (FS (FS (FS (FS (FS (FS (FS (FS (FS (FS FZ))))))))))) = 'B'
- finToHex (FS (FS (FS (FS (FS (FS (FS (FS (FS (FS (FS (FS FZ)))))))))))) = 'C'
- finToHex (FS (FS (FS (FS (FS (FS (FS (FS (FS (FS (FS (FS (FS FZ))))))))))))) = 'D'
- finToHex (FS (FS (FS (FS (FS (FS (FS (FS (FS (FS (FS (FS (FS (FS FZ)))))))))))))) = 'E'
- finToHex (FS (FS (FS (FS (FS (FS (FS (FS (FS (FS (FS (FS (FS (FS (FS FZ))))))))))))))) = 'F'
- finToHex (FS (FS (FS (FS (FS (FS (FS (FS (FS (FS (FS (FS (FS (FS (FS (FS FZ)))))))))))))))) impossible
- finToHex (FS (FS (FS (FS (FS (FS (FS (FS (FS (FS (FS (FS (FS (FS (FS (FS (FS _))))))))))))))))) impossible
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement