User:Woofmao

From Esolang

Jump to navigation Jump to search

Some kind of crazy person who likes lambda calculus, pi calculus, and linear logic.

Currently working on a language called PiCal.

Retrieved from "https://esolangs.org/w/index.php?title=User:Woofmao&oldid=66760"