Maude's mixfix is really nice. ...

Devine Lu Ator /

npub193r…eyhc

2024-09-25 19:49:25

Maude's mixfix is really nice.
https://maude.cs.uiuc.edu/maude1/manual/maude-manual-html/maude-manual_31.html

Author Public Key

npub193rs4wavjkjfe58dtvaeuc50lksahvpuzn9t5x3zt2dchuwun40sgeeyhc

Show more details