3 ms·
It's already implemented: https://github.com/ajyoon/systemf https://github.com/ajyoon/systemf There is even an HTTP server built with it.
by enedil 6y ago
It's already implemented:
https://github.com/ajyoon/systemf https://github.com/ajyoon/systemf
There is even an HTTP server built with it.
- archi42 6y agoWhy am I not even surprised...? I thought about writing a sentence about how (relatively) easy it would be to build a verified compiler (think CompCert-for-brainfuck); I'd guess the outcome is one of (a) "someone already did that as well, here is the link" or (b) "I spent the weekend with that, here is the project on github". The Internet is awesome, as are people :)