Additional documentation on less well known Koka features, links to papers, etc.
Install Madoko globally using npm
npm i -g madokomadoko koka-docs.mdkAdditional documentation on less well known Koka features, links to papers, etc.
Install Madoko globally using npm
npm i -g madokomadoko koka-docs.mdk