Skip to content

Instantly share code, notes, and snippets.

Embed
What would you like to do?
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