Skip to content

Instantly share code, notes, and snippets.

@okram
Created October 30, 2020 05:16
Show Gist options
  • Save okram/b56ae9a5fe790d1ae88212f1f9fce862 to your computer and use it in GitHub Desktop.
Save okram/b56ae9a5fe790d1ae88212f1f9fce862 to your computer and use it in GitHub Desktop.
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