Y
Hacker News
new
|
ask
|
show
|
jobs
by
zbobet2012
3233 days ago
Look at Idris to see how this kind of thing works.
https://jeremywsherman.com/blog/2015/10/10/idris-metaprogram...