[Agda] bug reported

Sergei Meshveliani mechvel at botik.ru
Sat Dec 8 20:15:03 CET 2018

Previous message (by thread): [Agda] internal error in Dev Dec 4
Next message (by thread): [Agda] UTF in Ubuntu
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

I have reported about "internal error" to the Agda bug tracker
on Development Agda of December 7, 2018.

I think the example is not large, and is simple to detect a thing.
At least it was initially many times larger.

Regards,

------
Sergei

Previous message (by thread): [Agda] internal error in Dev Dec 4
Next message (by thread): [Agda] UTF in Ubuntu
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda mailing list