An interpreter of Church's lambda calculaus Posted by crypto-jeronimo on Tuesday April 02, 2019 @05:30AM from the github.com dept. https://github.com/sasagawa888/lambda ( no comments | on HN )
There are no comments yet.