All pastes #1804750 Raw Edit

bblum

public text v1 · immutable
#1804750 ·published 2010-02-21 16:38 UTC
rendered paste body
118       | naturalKind g (Cpair (c1, c2)) = Ksigma (Variable.newvar(),119                                                  naturalKind g c1,120                                                  naturalKind g c2)121       | naturalKind g (Clam (c1, c2)) = Kpi (Variable.newvar(),122                                                  naturalKind g c1,123                                                  naturalKind g c2)