search

tweag / pirouette

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

Rewrite `Pirtla.Term.ToTla` using quasi-quotters #4

Closed VictorCMiraldo closed 2 years ago

VictorCMiraldo commented 3 years ago

I just realized that specifica has quasiquoters (https://github.com/ret/specifica/blob/main/tlaplus-tests/tests/Test.hs) we should rewrite our ToTla module to make use of this.