butter VS firefly-boot

Butter has continued in development. Currently working on pretty printer so that I could test out typed ast before working on next stage: mid-level IR and lifetime analysis. It was in hiatus when I was in busy uni stuffs. But now I think I have more time now.

Hello! I've been working on Butter programming language and it's starting to get shape. Butter is heavily influenced by Rust and I want it to be concise and high-level as much as possible.

Firefly, curly braces:

I'm still working on Firefly, a language with first class capabilities.

Since there's no other way for `deleteDirectory` to obtain capabilities than to recieve them as arguments, `deleteDirectory` only has access to the file system.

[1] https://github.com/Ahnfelt/firefly-boot/tree/master/compiler

> Do you have more to share, like resources about capability-safe languages, or your ongoing work?

I can share an example from the main function of the [self hosting Firefly compiler](https://github.com/Ahnfelt/firefly-boot/tree/master/compiler):

    main(system: System): Unit {

I'm working on Firefly, which will compile to JS once bootstrapping is complete (almost there).

Still working on typechecking Firefly with the help of a friend.

Working on the type inference for Firefly. I don't have a lot of free time at the moment, so it's coming along slowly.

Firefly uses object capabilities for enforcing purity:

In Firefly, this is done without macros:

Firefly - self hosting, working on the type inference.