Skip to content

Instantly share code, notes, and snippets.

@MarcelineVQ

MarcelineVQ/gist:c073c369cf19542c1be7e841530811a1

Created May 13, 2019 21:29
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save MarcelineVQ/c073c369cf19542c1be7e841530811a1 to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save MarcelineVQ/c073c369cf19542c1be7e841530811a1 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.txt
formatNat' : Nat -> String
formatNat' n = case isLTE 10 n of
(Yes prf) => "." ++ show (n - 10)
(No contra) => show n
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment