SolScript looks fantastic. Considering Avionics domain, using Coq or ATS to prov... | Hacker News

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

shailesh on June 13, 2014 | parent | context | favorite | on: Erik Meijer: Duality and the End of Reactive [vide...

SolScript looks fantastic.

Considering Avionics domain, using Coq or ATS to prove the correctness of SolScript compiler will help boost confidence.

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