The goal is to port a directed graph editor made with d3 to PureScript, with the intention of using it in an interactive explanation of Kripke semantics (much like the original).
The goal is to port a directed graph editor made with d3 to PureScript, with the intention of using it in an interactive explanation of Kripke semantics (much like the original).