Implementing Type Systems as Macros (via dpk) — discussion

#lisp #plt