Skip to content

Instantly share code, notes, and snippets.

@okram

okram/stuff.groovy

Last active December 11, 2019 18:38
Show Gist options
  • Save okram/d4451bb733257e2f11ed94fffe1091b5 to your computer and use it in GitHub Desktop.
Save okram/d4451bb733257e2f11ed94fffe1091b5 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
stuff.groovy
mmlang> 1602.65 + 1079.21 + 173.42 + 19.74
==>2875.0198
mmlang> real + 1602.65 + 1079.21 + 173.42 + 19.74 => [explain]
real <= real~[plus,1602.65][plus,1079.21][plus,173.42][plus,19.74]
instruction domain range
----------------------------------
[plus,1602.65] real => real
[plus,1079.21] real => real
[plus,173.42] real => real
[plus,19.74] real => real
==>real <= real~[plus,1602.65][plus,1079.21][plus,173.42][plus,19.74]
mmlang>
@okram
Copy link
Author

okram commented Dec 11, 2019 •
edited
Loading 

mmlang> 1602.65 + 1079.21 + 173.42 + 19.74 => [explain]

2875.0198

instruction    domain         range
--------------------------------------
[id]           2875.0198  =>  2875.0198

==>2875.0198
mmlang>

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment