[CakeML] cakeML wish list

Freek Wiedijk freek at cs.ru.nl
Tue Jan 28 09:26:30 UTC 2014


>Anyway, I realize that the cakeML folk are writing furiously for
>ITP. But after the dust clears from that, I would like to lobby for

Me, I really would like strings.

And if someone wants me to proofread an ITP paper, I wouldn't
say no :-)


More information about the Users mailing list