Jonathan Osser

Implement MonadFix for Java monad

2

Would it be possible to implement MonadFix for the Java monad?

Should general recursion always be allowed?

4

It feels like general recursion could be problematic in some cases, such as defining a functor ```lawvere ar Cat bad : Base --> Base = bad ``` Should this always...

Crash when jumping to error

13

Whenever i jump to error Atom crashes, I am using cl on windows.

Add a Java monad like in Eta

3

I really found the eta solution for object methods interesting, and thought that it would be nice to have a java monad like that in idris-jvm.

Extract abbreviation part of plugin into own package.

4

Hi, I'm wondering whether it'd be worth extracting the abbreviation part of the plugin into it's own packages, since it's useful in other languages, e.g. Agda, too. The current situation...

Add to Open VSX Registry

1

Would you consider adding this the the Open VSX Registry as well as the VSCode extension marketplace, so that people using e.g. VSCodium can install this extension easily as well?