Hacker News new | ask | show | jobs
by e12e 220 days ago
StandardML (standard metalanguage), scheme?
1 comments
galangalalgol 220 days ago
Doesn't scheme have a set macro? I think for purity you'd have to go to something used for proofs that doesn't actually interact with the world.
link