Searching protocol for "lispsyntax"
Bidirectional Lisp ↔ ACSet bridge.
Trees, sheaves, and FPT algorithms.