Hi Kwankyu,
On 2019-05-10, Kwankyu Lee wrote:
> There is no ticket. It seems bad to create a ticket before you have a
> specific goal and a means to achieve it.
Why? You have specific examples. That should be enough for a ticket,
IMHO. If while working on the ticket it turns out that the
On Friday, May 10, 2019 at 4:04:15 PM UTC+9, Simon King wrote:
>
>
> On 2019-05-10, Kwankyu Lee > wrote:
> > 1. It is very, but not terribly, slow compared with Magma. One may want
> to
> > improve the speed.
>
> Is there a ticket for it, which also points out what examples are slow and
>
Dear Kwankyu,
thank you for your contribution and your report!
On 2019-05-10, Kwankyu Lee wrote:
> 1. It is very, but not terribly, slow compared with Magma. One may want to
> improve the speed.
Is there a ticket for it, which also points out what examples are slow and
how it compares with