Li-Fan Chen says to YSITD

data Nat2 = S Nat2 Nat2 | O

at Mon, Jul 16, 2018 5:53 PM