G github.com Jupyter Notebook for learning lambda calculus in Kotlin 3 points Stream 1 year ago 0 comments