Open soegaard opened 9 years ago
The following error does not highlight the offending form in DrRacket.
define-language: unrecognized production in subtract in: (define (f φ ...) b)
The following error does not highlight the offending form in DrRacket.