Skip to content

Add SK-combinators example with custom reduction tactic - #181

Open
zetanumbers wants to merge 1 commit into
digama0:masterfrom
zetanumbers:sk-combinators
Open

Add SK-combinators example with custom reduction tactic#181
zetanumbers wants to merge 1 commit into
digama0:masterfrom
zetanumbers:sk-combinators

Commits

Commits on Jan 10, 2026