Graph display powerered by Cytoscape.jsThe underlying algorithms behind the term generators can be found here (in Haskell!).
You might need to be patient for larger values of n and k while the maps are drawn. For n > 10 be prepared to wait a while, or until the universe collapses!
For larger terms, you may wish to disable map generation to speed up the process a bit.
Write out terms Draw maps (costly) Use de Bruijn notation
Show crossings Show β-reductions