3 ms·Very nice post thanks - I didn’t know about cakeml and bootstrapping formally verified compilers.by Agingcoder 10mo agoVery nice post thanks - I didn’t know about cakeml and bootstrapping formally verified compilers.