This repository has been archived by the owner on Apr 22, 2020. It is now read-only.

Add support for Idris #596

Open

juanmeleiro opened this issue Jul 3, 2019 · 0 comments

juanmeleiro commented Jul 3, 2019 •

edited

Loading

Please considere adding support to Idris.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.