Boyu
Boyu
The problem I ‘ve met is mainly the first one. It works fine at first, but only after a while the input becomes very jerky. As to the second problem,...
I would test in a few days and tell you the result then. 发件人: David Thrane Christiansen 发送时间: 2019年4月22日 1:20 收件人: idris-hackers/idris-mode 抄送: Xianglong; Author 主题: Re: [idris-hackers/idris-mode] Repl extremely...
unassigned from task as I don't have bandwidth for now