mikebern / lambda_ski_iota

Converter from lambda to SKI and Iota combinatorial calculi

Geek Repo

Github PK Tool