add equalNat
authorAnders Mörtberg <andersmortberg@gmail.com>
Wed, 6 Jul 2016 11:06:00 +0000 (13:06 +0200)
committerAnders Mörtberg <andersmortberg@gmail.com>
Wed, 6 Jul 2016 11:06:00 +0000 (13:06 +0200)
commita9b4fa26887b070f5423caee38c8b3eeceb78352
tree1a3ac584f35b5a806f3ec48fcfc89b5d502a501d
parentf3f2589012b63b74d7a11f3ecd55e07de0f660c9
add equalNat
examples/nat.ctt