singletons-3.0.2: Basic singleton types and definitions

Index - :

:%&:Data.Singletons.Sigma
:&:Data.Singletons.Sigma
:~:Data.Singletons.Decide