I should specify: I want to evaluate user-defined Agda code given that it is of a particular type.
-
-
Replying to @runarorama
Yeah, there probably isn't anything. In my experience, those interested in total FP DT langs aren't interested in the JVM.
1 reply 0 retweets 2 likes -
Replying to @djspiewak @runarorama
I’m interested in someone being interested in the JVM. It’s one of the things I’d do if I was multi core :)
2 replies 0 retweets 3 likes -
Replying to @edwinbrady @runarorama
A real JVM backend for Idris would be amazing. Like actually amazing. Ditto the multicore bit.
1 reply 0 retweets 1 like -
A work-in-progress Idris JVM backend I am working onhttps://github.com/mmhelloworld/idris-jvm …
2 replies 5 retweets 12 likes -
Sick.
1 reply 0 retweets 0 likes -
Replying to @djspiewak @marimuthum and
i think that is the repo I linked to in our docs for codegen targets...
1 reply 0 retweets 0 likes -
Replying to @jfdm @djspiewak and
Was thinking we could have a listing of backend projects on the wiki.
1 reply 0 retweets 1 like -
-
Replying to @jfdm @djspiewak and
All the backends! Thought someone was working on an Erlang one, too - not sure serious.
2 replies 0 retweets 0 likes
It was a serious project, but in the end they’re only useful if maintained
-
-
Replying to @edwinbrady @jfdm and
Would we want a separate docs section for "prior art", like https://github.com/mrb/idris-ruby ?
0 replies 0 retweets 0 likesThanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.