17 May
2021
17 May
'21
1:27 p.m.
Hi Yury, there here: https://github.com/koka-lang/koka/tree/master/test/bench (I asked on Twitter). Cheers, Carl Friedrich On 17.05.21 08:33, Yury V. Zaytsev wrote:
Hi Carl,
On Sun, 16 May 2021, Carl Friedrich Bolz-Tereick wrote:
yeah, it's on my to-read list! did you find the source code of the benchmark set they used in the paper? might be worth mailing the authors. Would be a fun experiment!
Nope, unfortunately I've only seen snippets provided in the paper, although I have to admit that I didn't put hours in looking for them... I guess emailing would be easiest.