Lyksolykso@tiny.tilde.website
Oct 13, 2026, 1:10 AMYes. Yes, it is.
I really spend a lot of time on this.
At least I learned a bit about how seL4 and Idris' refc backend work. 🫥
Yes. Yes, it is.
I really spend a lot of time on this.
At least I learned a bit about how seL4 and Idris' refc backend work. 🫥