A complete and open source implementation of Moses Schönfinkel's 1924 paper - On the Building Blocks of Mathematical Logic.
See the section-by-section guide to the paper here.
go get github.com/planetlambert/combinator@latestimport ( "context" "fmt" "github.com/planetlambert/combinator" ) func main() { ctx := context.Background() // Use a built-in basis (SKI in this example) transformedStatement, _ := combinator.SKI.Transform(ctx, "S(K(SI))Kab") // Prints "ba" - S(K(SI))K is the "reversal" combinator fmt.Println(transformedStatement) }Go Package Documentation here.
go test ./...