News for hackers. Stuff that matters.

A comment on Building an Operating System for the Raspberry Pi. Parent comment

Re:Building an Operating System for the Raspberry Pi by snaky on Thursday January 18, 2018 @07:15PM (#16182904)
There is ATS for the task, with all the C features plus proofs, quantified constraints, dependent types, linear types, interface for pluggable SAT solvers and so much more.

https://bluishcoder.co.nz/tags/ats/index.html

[ Parent | on HN ]

There are no comments on this comment yet.