#140 Support creating Java lambdas, export Idris functions as Java classes, constructors, fields and functions#170
Merged
mmhelloworld merged 10 commits intomainfrom feature/issue-140-idris-from-javaJan 31, 2024
+3,324-995
Commits
Commits on Dec 8, 2023
- committed
- committed
- committed
- committed
- committed
- committed
- committed