[Agda] bottom and false

[Patricia Peratto]

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 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20200420/6f7c145c/attachment.html>