view src/delta_constructor.hs @ 18:086fc8bb6ea9

Add description for category/functor in program
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Sun, 08 Feb 2015 21:19:55 +0900
parents c4da3e667aad
children
line wrap: on
line source

data Delta a = Mono a | Delta a (Delta a)