4 ms·
Very cool idea! Is it open source or are you thinking about it?
by futtetennista 10y ago
Very cool idea! Is it open source or are you thinking about it?
- alangpierce 10y agoYep, it's on GitHub: https://github.com/alangpierce/lambdacalculusplayground https://github.com/alangpierce/lambdacalculusplayground I actually got mostly done porting it to React Native, but never totally finished it, so the GitHub repo is React Native and has some bugs. But you can go back in the git history to find the native Android SDK version that's currently on the Play Store.
- diyseguy 10y agoDid I find the right point in the history? https://github.com/alangpierce/LambdaCalculusPlayground/tree/e3f939c8e8c18813407b354f8a4612ce5a050211 https://github.com/alangpierce/LambdaCalculusPlayground/tree...
- alangpierce 10y agoYep, that should work. Two commits earlier is the actual 1.1.0 release, before some restructuring to make room for the React Native stuff, so that may be a little better to work with. https://github.com/alangpierce/LambdaCalculusPlayground/commit/9073725d6825cb3dd50a28e4038d2743d3d941fa https://github.com/alangpierce/LambdaCalculusPlayground/comm...