Mastodon Feed: Post

dysfun@treehouse.systems ("gaytabase") wrote:

C ABI allocator layouts in idris. i love that this power of 2 thing works, it's joyous.

https://gist.github.com/jjl/1e9973c4d1b98b5f47c73ad387ed00d5