The connection was lost. Trying to connect again.

Slava Pestov

@slava@mathstodon.xyz View on mathstodon.xyz

Programming languages, finitely-presented monoids, horses

Pronouns
he/him
Monoids
monoids.net
Home page
monoids.net/slava Link checked on 2026-10-28
  • 1 posts
Slava Pestov @slava@mathstodon.xyz

RE: gamedev.lgbt/@typeswitch/11751

“Mirth is a strongly-typed concatenative programming language that is currently in development.

Mirth is inspired by Forth, Joy, Haskell, Lisp, and monoidal category theory.”

typeswitch @typeswitch@gamedev.lgbt · open

I moved mirth over to codeberg:
codeberg.org/typeswitch/mirth

· Public