Meta-data
- Description: Coffee data type for uniqueness examples
- Authors: Daniel Marshall, Dominic Orchard
- License: BSD3
- Copyright: (c) Authors 2022
- Issue-tracking: https://github.com/dorchard/granule/issues
- Repository: https://github.com/dorchard/granule
Contents
data Coffee where Coffee
data Awake where Awake
drink : Coffee -> Awake
keep : Coffee -> Coffee
sip : (*Coffee) -> (Coffee, Awake)