mmhelloworld idris-jvm General · Discussions · GitHub

Sort by: Latest activity

Categories

Community guidelines

General Discussions

Chat about anything and everything here

You must be logged in to vote

Calling back into Idris from Java

ska80 started Feb 28, 2023 in General · Closed

4
You must be logged in to vote

How to build Idris-JVM from sources

ska80 started Jan 10, 2022 in General · Closed

9
You must be logged in to vote

Welcome to idris-jvm Discussions!

mmhelloworld started Dec 9, 2020 in General

3