Very nice. Any thought into combining ideas with https://c9x.me/articles/trust/ https://c9x.me/articles/trust/? I just read through A Minimalistic Verified Boo

Very 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.