phc-graph/dot-lang.rkt
2017-04-06 10:27:23 +02:00

10 lines
218 B
Racket

#lang typed/racket
(provide dot λdot)
(define-syntax (dot stx)
(raise-syntax-error 'dot "Dot is not implemented yet" stx))
(define-syntax (λdot stx)
(raise-syntax-error 'dot "Dot is not implemented yet" stx))