Skip to content

Instantly share code, notes, and snippets.

@okram

okram/choose-2.scala

Created February 25, 2020 11:45
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save okram/ea5028411773b655efdf2cc0fdcfff02 to your computer and use it in GitHub Desktop.
Save okram/ea5028411773b655efdf2cc0fdcfff02 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
choose-2.scala
mmlang> int[plus,2][[is>5] -> true | [is==1] -> [plus,2] | int -> 20 ]
==>obj<=int[plus,2][choose,[[is,[gt,5]]->true|[is,[eq,1]]->[plus,2]|int->20]]
mmlang> 5 => [plus,2][[is>5] -> true /
......> |[is==1] -> [plus,2] /
......> |int -> 20 ]
==>true
mmlang> -1 => [plus,2][[is>5] -> true /
......> |[is==1] -> [plus,2] /
......> |int -> 20 ]
==>3
mmlang> 1 => [plus,2][[is>5] -> true /
......> |[is==1] -> [plus,2] /
......> |int -> 20 ]
==>20
mmlang>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment