1 ▲ 1 ▼ Simplification Through Addition (antelang.org) submitted 2 years ago by mac@programming.dev to c/ante@programming.dev comment fedilink
2 ▲ 1 ▼ Algebraic Effects, Ownership, and Borrowing (antelang.org) submitted 2 years ago by mac@programming.dev to c/ante@programming.dev comment fedilink
3 ▲ 1 ▼ Achieving Safe, Aliasable Mutability with Unboxed Types (antelang.org) submitted 2 years ago by mac@programming.dev to c/ante@programming.dev comment fedilink