3 ms·Thanks for the link! Koka (and Lean too) has produced quite some interesting papers.by ReleaseCandidat 3y agoThanks for the link! Koka (and Lean too) has produced quite some interesting papers.