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