view prepaper/src/delta_data.hs @ 72:109c5bc7e276

fix
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Tue, 17 Feb 2015 16:40:06 +0900
parents c75ba6313e39
children
line wrap: on
line source

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