Lambda calculus parsing based on "AN INTRODUCTION TO FUNCTIONAL PROGRAMMING THROUGH LAMBDA CALCULUS" by Greg Michaelson
Primary LanguageKotlin