tweag / pirouette

Language-generic workbench for building static analysis
MIT License
47 stars 2 forks source link

Document the “underlying implementation” of terms in the design document #190

Open Niols opened 1 year ago

Niols commented 1 year ago

cf https://github.com/tweag/pirouette/pull/184#discussion_r1156046067