Update on the Mu computer's memory-safe language

Progress has been slow over the holiday season because I've been working on a paper about Mu for https://2020.programming-conference.org/home/salon-2020

But functions can now return outputs.

fn foo a: int -> result/eax: int {
  result <- copy a
  increment result
}

Project page.

Sources for the memory-safe language, now at 5kLoC.

Caveats: no checking yet, only int types supported.

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.