3 ms·
QSCM – A Tiny Bootstrapped Scheme
- haskellandchill 6y agoVery nice. Any thought into combining ideas with https://c9x.me/articles/trust/ https://c9x.me/articles/trust/? I just read through A Minimalistic Verified Bootstrapped Compiler which was nice and the language is similar. My goal is to make a minimal full verification stack for a tiny language.
- peter_d_sherman 6y agoRelated: "What are the actual differences between Scheme and Common Lisp?" https://news.ycombinator.com/item?id=25895669 https://news.ycombinator.com/item?id=25895669