Skip to content

Instantly share code, notes, and snippets.

@okram

okram/autocoercion.java

Created October 9, 2020 22:18
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/67517ce426ed22677b3a2af798f28252 to your computer and use it in GitHub Desktop.
Save okram/67517ce426ed22677b3a2af798f28252 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
autocoercion.java
mmlang> 1
==>1
mmlang> 1-<(_;_)
==>(1;1)
mmlang> 1-<(_;_)=(vertex;vertex)
==>(vertex:('id'->nat:1);vertex:('id'->nat:1))
mmlang> 1-<(_;_)=(vertex;vertex)=>edge
==>edge:('outV'->vertex:('id'->nat:1),'inV'->vertex:('id'->nat:1))
mmlang>
mmlang>
mmlang> 1-<(_;_)=>edge
==>edge:('outV'->vertex:('id'->nat:1),'inV'->vertex:('id'->nat:1))
mmlang>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment