[Agda] testing unifier

Sergei Meshveliani mechvel at botik.ru
Sat Dec 19 16:36:49 CET 2015


Jesper Cockx  wrote today about testing unifier.

I need to add my following naive notice.
I have reported of a positive test.
But generally, it is also important to have a negative test:
to discover programs which are type-checked but must not be
type-checked.
(?)

Regadrs,

------
Sergei



More information about the Agda mailing list