Update on the Mu computer's memory-safe language

Mu now type-checks calls to functions implemented in unsafe SubX machine code. I have to provide signatures explicitly, and they look like this:

http://akkartik.github.io/mu/html/linux/400.mu.html

https://github.com/akkartik/mu

This post is part of my Freewheeling Apps Devlog.

Comments gratefully appreciated. Please send them to me by any method of your choice and I'll include them here.