Skip to content
Better HN
Top
New
Best
Ask
Show
Jobs
Search
⌘K
undefined | Better HN
0 points
e12e
6mo ago
0 comments
Share
StandardML (standard metalanguage), scheme?
0 comments
default
newest
oldest
galangalalgol
6mo 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.
j
/
k
navigate · click thread line to collapse