Comment on Why OCaml, Why Now?parentComments−andolanra12yHaskell also has the analogous HaLVM: https://github.com/GaloisInc/HaLVM
Comments
Haskell also has the analogous HaLVM: https://github.com/GaloisInc/HaLVM