[Agda] bottom and false

[Ulf Norell]

https://en.wikipedia.org/wiki/Contradiction#In_formal_logic

/ Ulf

On Tue, Apr 21, 2020 at 3:24 AM Patricia Peratto <psperatto at vera.com.uy>
wrote:

> There is a problema with overloading.
>
> bottom in english is floor.
> I interpret perp as perpendicular.
> The symbol is perpendicular and in type theory
> means false.
>
> We are saying our floor is false?
>
> Regards,
> Patricia
> _______________________________________________
> 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/20200421/66a4138b/attachment.html>