vem

joined 11 months ago

3

Pattern-Matching as Inverse; Linear Logic (vmchale.github.io)

submitted 1 day ago by vem@programming.dev to c/concatenative@programming.dev

0 comments fedilink

A few more bits here: https://vmchale.github.io/pizarnik/