Lambda calculus in FSharp NuGet Package

Lambda calculus implementation using FSharp.

The library exposes the classic combinators, boolean algebra, numeral agebra using Church numerals, pairs algebra.
Combinators: S, K, I, M, KI, C, B, Th, B1, V
Boolean: GTrue, GFalse, GAnd, GOr, GBeq
Numerals: G0, G1, G2, GSucc, GPred, GAdd, GSum, GMul, GPow, LEq, Eq, Gr
Pairs: GPair, GFst, GSnd, GPhi.




Got any Lambda calculus in FSharp Question?





Info

Version: 1.0.15
Author(s): Vlad Eminovici
Last Update: Tuesday, February 6, 2018
.NET Fiddle: Create the first Fiddle
NuGet Url: https://www.nuget.org/packages/Simplee.Goa


Install
Install-Package Simplee.Goa
dotnet add package Simplee.Goa
paket add Simplee.Goa
Simplee.Goa Download (Unzip the "nupkg" after downloading)



Tags



STATS

must-have-score

.5

avg-downloads-per-day

1

days-since-last-release

2261