We are currently working on new rules for what content should and shouldn't be allowed on this website, and are looking for feedback! See Esolang:2026 topicality proposal to view and give feedback on the current draft.
User:Woofmao
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.