▲ 4 ▼ Pattern-Matching as Inverse; Linear Logic (vmchale.github.io) submitted 2 months ago by vem@programming.dev to c/concatenative@programming.dev comment fedilink A few more bits here: https://vmchale.github.io/pizarnik/