Skip to content

Instantly share code, notes, and snippets.

Show Gist options
  • Select an option

  • Save MarcelineVQ/6b152db3f4b0023c4906f96ff641fe46 to your computer and use it in GitHub Desktop.

Select an option

Save MarcelineVQ/6b152db3f4b0023c4906f96ff641fe46 to your computer and use it in GitHub Desktop.
formatNat : Nat -> String
formatNat n with (isLTE 10 n)
formatNat n | (Yes prf) = "." ++ show (n - 10)
formatNat n | (No contra) = show n
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment