Simplee FSharp Common
Common functionality which can be used in FSharp projects. The library exposes active patterns for comparison operations, numerals, strings. It has a Result monad and its builder for computation expressions.
Lambda calculus in FSharp
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,... More information