LambdaCalculusFSharp
LambdaCalculusFSharp copied to clipboard
Published
20 hours ago •
WhiteBlackGoose
WhiteBlackGoose
λ calculus library made purely in and for F#
Results
2
LambdaCalculusFSharp issues
Sort by
recently updated
recently updated
newest added
- [x] We get an expression that we already had - [ ] We get an expression, which has one of the previous expressions as a subexpression
The whole project is in F# except for a tiny program which represents the web interface. It's currently made in C# WASM. If you know a good way to keep...
good first issue
Metadata
29
Stars
0
Forks
Watchers
Owner
Metadata
λ calculus library made purely in and for F#