!!Work in Progress!!
Linear Lambda Calculus
for an implementation of the trips by Jacques van de Wiele,
an algorithm that yields a linear lambda term, given any
pointed graph where all vertices have incidence 1 or 3.
pointed graph: a graph with a selected external vertex of