[HN Gopher] QSCM - A Tiny Bootstrapped Scheme
       ___________________________________________________________________
        
       QSCM - A Tiny Bootstrapped Scheme
        
       Author : kristianp
       Score  : 20 points
       Date   : 2021-01-23 06:48 UTC (1 days ago)
        
 (HTM) web link (c9x.me)
 (TXT) w3m dump (c9x.me)
        
       | peter_d_sherman wrote:
       | Related:
       | 
       | "What are the actual differences between Scheme and Common Lisp?"
       | 
       | https://news.ycombinator.com/item?id=25895669
        
       | haskellandchill wrote:
       | 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.
        
       ___________________________________________________________________
       (page generated 2021-01-24 23:02 UTC)