Skip to content

Instantly share code, notes, and snippets.

@okram

okram/should-be-zero.gist

Created November 28, 2019 19:39
Show Gist options
  • Save okram/06d054e29fc8fd5e2ab19bf0680bf38f to your computer and use it in GitHub Desktop.
Save okram/06d054e29fc8fd5e2ab19bf0680bf38f to your computer and use it in GitHub Desktop.
Download ZIP
Raw
should-be-zero.gist
~/software/mm-adt/vm/java bin/mmadt.sh
_____ _______
/\ | __ |__ __|
_ __ ___ _ __ ___ _____ / \ | | | | | |
| '_ ` _ \| '_ ` _ |_____/ /\ \| | | | | |
| | | | | | | | | | | / ____ \ |__| | | |
|_| |_| |_|_| |_| |_| /_/ \_\____/ |_|
mm-adt.org
mmlang> 1 => 1
==>1
mmlang> 1 => 2
mmlang> 1 => int
==>1
mmlang> 1 => [plus,1]
==>2
mmlang> int => 1
==>1
mmlang> int => [plus,1]
==>int <= [plus,1]
mmlang> (int <= [plus,1]) => 1
mmlang> // should be 0
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment