Has anyone used kotlin-mip (<https://kotlin-mip.re...

# getting-started

[David]

Has anyone used kotlin-mip (https://kotlin-mip.readthedocs.io/en/latest/intro.html)? I am having trouble installing it.