Discussions

• 1 You must be logged in to vote

  💬

  Calling back into Idris from Java

  ska80 started Feb 28, 2023 in General

  

  

  2
• 1 You must be logged in to vote

  💬

  How to build Idris-JVM from sources

  ska80 started Jan 10, 2022 in General

  

  

  9
• 1 You must be logged in to vote

  🙌

  [Announce] Idris 2 Bootstrap compiler now runs on the JVM with a JVM backend

  mmhelloworld started Dec 31, 2020 in Show and tell

  

  

  1
• 1 You must be logged in to vote

  💬

  Welcome to idris-jvm Discussions!

  mmhelloworld started Dec 9, 2020 in General

  

  

  

  

  3
• 1 You must be logged in to vote

  💡

  Use GraalVM's Truffle

  nightscape started Dec 9, 2020 in Ideas

  

  

  1