Invoke and manage a Java Virtual Machine from Haskell
Why do you think that https://github.com/GaloisInc/cryptol is a good alternative to HJVM
Invoke and manage a Java Virtual Machine from Haskell
Why do you think that https://github.com/GaloisInc/cryptol is a good alternative to HJVM