Execute a term

Type the term below — or load a file

Create a language

You may upload a rkt -file that provides the reduction semantics and a data extration function as follows:
(provide reductions term->kv)
Alternatively you may upload a ZIP file with a PLTGraphRedex.rkt in its root.

Execute an ArangoDB query on the example

Type your query below — or load a file
  • @@nodes to the collection of nodes
  • @@edges to the collection of edges
  • @start to the id of the start node
  • @graph to the graph of the start node