QSCM – A Tiny Bootstrapped Scheme | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		QSCM – A Tiny Bootstrapped Scheme (c9x.me)
		27 points by kristianp on Jan 24, 2021 \| hide \| past \| favorite \| 2 comments

haskellandchill on Jan 24, 2021 | [–]

Very nice. Any thought into combining ideas with 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 on Jan 24, 2021 | [–]

Related:

"What are the actual differences between Scheme and Common Lisp?"

https://news.ycombinator.com/item?id=25895669

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact