Re:Type Systems as Macros
by nonsince on Saturday April 22, 2017 @10:27AM
(#14172667)
Someone's working on something like that already https://github.com/lexi-lambda/hackett
[ Parent
| on HN ]