Closed CaramelFur closed 2 years ago
With this you can easily generate distro specific packages to install koka, extra info can be found in the updated readme section.
Wow -- this is an amazing PR! Really great -- I am currently testing :-)
I got it to work partly on WSL2; I will merge it into the dev branch so we can directly commit any needed updates.
dev
With this you can easily generate distro specific packages to install koka, extra info can be found in the updated readme section.