VictorTaelin / abstract-algorithm

Optimal evaluator of λ-calculus terms.
265 stars 16 forks source link

Visualization of algorithm. #17

Open Kesanov opened 6 years ago

Kesanov commented 6 years ago

A prototype of visualizer of abstract algorithm.

Its current form is not optimal, since the plotting library is not very fast and the layout algorithm does not take previous positions into account.