2 ms·
In Haskell, I presume? Will it be open sourced? :)
by cstrahan 10y ago
In Haskell, I presume? Will it be open sourced? :)
- carterschonwald 10y agoActually doing in Agda first. Coinductive programming is a delight with Agda 2.5. But yes that's the plan.