Skip to main content

Questions tagged [quasiquotation]

Quasiquoting allows programmers to use domain specific syntax to construct program fragments. (from Why It’s Nice to be Quoted: Quasiquoting for Haskell)

Filter by
Sorted by
Tagged with
3 votes
4 answers
223 views

What provers are using quote, quotations or quasiquotations?

This is a related question to Is there a consolidated or partial list noting the use of quasiquotation with provers? for which it seems there is no answer. However as there might be an answer some ...
Guy Coder's user avatar
  • 2,846
6 votes
0 answers
156 views

Is there a consolidated or partial list noting the use of quasiquotation with provers?

In checking to see if any provers (proof assistants, theorem provers, interactive theorem prover) make use of quasiquotation I was quickly surprised at what started showing up with a Google search. ...
Guy Coder's user avatar
  • 2,846