Skip to content

Instantly share code, notes, and snippets.

@okram
Created September 19, 2020 11:01
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/17e4e4d0df6f8e1fc167cefb60ad2f43 to your computer and use it in GitHub Desktop.
Save okram/17e4e4d0df6f8e1fc167cefb60ad2f43 to your computer and use it in GitHub Desktop.
pg_2:('type' -> (
graph -> (graph<=edge{*}),
vertex -> (vertex<=('id'->int),
vertex<=int-<('id'->_)),
edge -> (edge<=('outV'->vertex,'inV'->vertex),
edge<=(vertex;vertex)-<('outV'->.0,'inV'->.1)))) <= mm
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment