https://github.com/414owen/pure-lambda

Lambda calculus expression simplifier repl
https://github.com/414owen/pure-lambda

bison flex functional lambda lambda-calculus lambda-expressions math mathematics parser-generator

Last synced: about 21 hours ago
JSON representation

Lambda calculus expression simplifier repl

• Host: GitHub
• URL: https://github.com/414owen/pure-lambda
• Owner: 414owen
• Created: 2018-10-22T23:39:24.000Z (almost 6 years ago)
• Default Branch: master
• Last Pushed: 2018-11-10T14:20:46.000Z (almost 6 years ago)
• Last Synced: 2023-03-09T07:27:17.615Z (over 1 year ago)
• Topics: bison, flex, functional, lambda, lambda-calculus, lambda-expressions, math, mathematics, parser-generator
• Language: C
• Homepage: https://owen.cafe/try-lambda/
• Size: 24.4 KB
• Stars: 2
• Watchers: 3
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project