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.
Yep, 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
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.