v1.0.0

I hereby release this implementation of SKI combinator representation and reduction.

I have published this package on NPM: https://www.npmjs.com/package/typed-ski as well.

Thanks to @alexmat2on and @sbiyyala for contributing their time to review and improve the project.

This project is intended as a learning resource for mathematical logic, but there are other directions I'd like to take with it in the future.

Happy 🎿 ing.