Skip to content

Instantly share code, notes, and snippets.

@iskandr

iskandr/twice-typed.py

Last active December 11, 2015 19:58
Show Gist options
  • Save iskandr/4651742 to your computer and use it in GitHub Desktop.
Save iskandr/4651742 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
twice-typed.py
def twice.2(x :: float64):
return mul<float64>(2.0 :: float64, x :: float64)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment