NuGet Gallery Feed for Simplee.GoaLambda 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, GPhihttps://www.nuget.org/packages/Simplee.Goa/2020-12-30T09:43:43Zhttps://www.nuget.org/packages/Simplee.Goa/1.0.15Simplee.Goa 1.0.152018-02-06T21:00:15Z2020-12-30T09:43:43Zgiraffe4https://www.nuget.org/profiles/giraffe4Lambda 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, GPhihttps://www.nuget.org/packages/Simplee.Goa/1.0.11Simplee.Goa 1.0.112018-02-04T20:28:27Z2020-12-30T09:43:43Zgiraffe4https://www.nuget.org/profiles/giraffe4Lambda 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, GPhihttps://www.nuget.org/packages/Simplee.Goa/1.0.10Simplee.Goa 1.0.102018-02-04T19:56:15Z2020-12-30T09:43:43Zgiraffe4https://www.nuget.org/profiles/giraffe4Lambda 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, GPhihttps://www.nuget.org/packages/Simplee.Goa/1.0.5Simplee.Goa 1.0.52018-02-04T18:13:01Z2020-12-30T09:43:43Zgiraffe4https://www.nuget.org/profiles/giraffe4Lambda calculus implementation using FSharp.https://www.nuget.org/packages/Simplee.Goa/1.0.4Simplee.Goa 1.0.42018-02-01T21:00:55Z2020-12-30T09:43:43Zgiraffe4https://www.nuget.org/profiles/giraffe4Lambda calculus implementation using FSharp.https://www.nuget.org/packages/Simplee.Goa/1.0.1Simplee.Goa 1.0.12018-01-31T10:53:08Z2020-12-30T09:43:43Zgiraffe4https://www.nuget.org/profiles/giraffe4Lambda calculus implementation using FSharp.https://www.nuget.org/packages/Simplee.Goa/1.0.0Simplee.Goa 1.0.02018-01-30T20:22:27Z2020-12-30T09:43:43Zgiraffe4https://www.nuget.org/profiles/giraffe4Lambda calculus implementation using FSharp.