- android.permission.INTERNET
- android.permission.WRITE_EXTERNAL_STORAGE
- android.permission.READ_EXTERNAL_STORAGE
Jul 9, 2019
Release 1.3.8 (July 06., 2019):
What's New (for more details see website):
- Soft cut (*->)/2 now inlined.
- New call/1 implementation.
- New residue variable implementation.