Skip to content

Instantly share code, notes, and snippets.

@okram

okram/=>-compilation.java

Created October 30, 2020 05:16
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/b56ae9a5fe790d1ae88212f1f9fce862 to your computer and use it in GitHub Desktop.
Save okram/b56ae9a5fe790d1ae88212f1f9fce862 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
=>-compilation.java
int => nat[plus,1] => vertex => -<(_;_) => edge
nat <=int[is>0][plus,1]
vertex <=int[is>0][plus,1][split,('id'->nat)]
(vertex;vertex) <=int[is>0][plus,1][split,('id'->nat)][split,(vertex;vertex)]
edge <=int[is>0][plus,1][split,('id'->nat)][split,(vertex;vertex)][combine,[split,('outV'->[get,0],'inV'->[get,1])]]
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment