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 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