[Agda] What does "Set !=< {some type}" mean?

[Jesper Cockx]

Hi David,

It means that you gave a type as an argument where Agda expected something
of {some type} (or possibly the other way around). The symbol !=< means "is
not a subtype of". Agda only uses subtypes in a few specific circumstances,
so in most cases you can read it as "is not equal to".

-- Jesper

On Sat, Jan 16, 2021 at 1:06 AM David Banas <capn.freako at gmail.com> wrote:

> Hi all,
>
> Could someone help me understand what this Agda error means?
>
> *Set !=< {some type}*
>
>
> Thanks,
> -db
>
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20210116/fb2f0170/attachment.html>