All Questions
1 question
4
votes
1
answer
112
views
Use of modal logic in metaprogramming
I know modal logic has been experimented with for formalizing macros and metaprogramming before but I am not really familiar with the details. I would like to read up more on the use of modal logic ...
- 2,898