Hydrangea Kokic

[Hydrangea Kokic @HydrangeaKokic]

Perhaps I should consider switching the rendering backend of Mooncraft to the web-gpu.

[Hydrangea Kokic @HydrangeaKokic]

While installing Why3 1.8.2 on Windows is pretty straightforward, setting up version 1.7.2 proves to be a massive, uphill battle.

[Hydrangea Kokic @HydrangeaKokic]

"To do a good job, one must first sharpen one's tools." Now, MoonBit users can enjoy full syntax highlighting and language server capabilities on a terminal-based code editor called `fresh`.

https://t.co/s5JhHIvrOH

#moonbit #moonbitlang

[Hydrangea Kokic @HydrangeaKokic]

@guest0x0 500ISE