[Agda] isYes

Sergei Meshveliani mechvel at botik.ru
Thu Feb 6 16:17:18 CET 2014


People,

I searched for  isYes, isYes?, yes?  in lib-0.7,
and have discovered
                    ⌊_⌋  in  module Relation.Nullary.Decidable.

I wonder what is the origin of this denotation.

Thanks,

------
Sergei



More information about the Agda mailing list