<div dir="ltr">"having this thought about building a new language, not one that's 
dependently typed -- that's a long term project that'll probably turn 
into a proof assistant tbh, but something that can actually be used to 
write real programs and would be. have an idea for a fault tolerant 
manycore language"<br><br><a href="http://irclogs.shortcircuit.net.au/%23io/2016-04-18.log.html">http://irclogs.shortcircuit.net.au/%23io/2016-04-18.log.html</a><br></div>