search

dannywillems / RML

ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.
36 stars 3 forks source link

Export derivation tree in a JSON file. #20

Open dannywillems opened 7 years ago

dannywillems commented 7 years ago

http://fperucic.github.io/treant-js/ to visualize.

dannywillems commented 7 years ago

Use D3? https://d3js.org/ Example: https://bl.ocks.org/ajschumacher/65eda1df2b0dd2cf616f More interesting because you can expand manually: http://bl.ocks.org/pprett/3813537