mmhelloworld idris-jvm Q A · Discussions · GitHub

Sort by: Latest activity

Categories

Community guidelines

Q&A Discussions

Ask the community for help

You must be logged in to vote

How to get Java compiler to see class files generated by idris? (gradle project)

jmanuel1 asked Aug 25, 2024 in Q&A · Unanswered

1
You must be logged in to vote

How to include java deps when compiling idris files

jneira asked Jul 13, 2024 in Q&A · Answered

2