Meta-data

• Description: Base library for the purposes of examples
• Authors: Dominic Orchard, Vilem-Benjamin Liepelt
• License: BSD3
• Copyright: (c) Authors 2018
• Issue-tracking: https://github.com/dorchard/granule/issues
• Repository: https://github.com/dorchard/granule

Contents

data Cake where
    Cake : Cake

data Happy where
    Happy : Happy

eat : Cake -> Happy

have : Cake -> Cake