Noether.Equality.Tutorial

testInt

testDouble

test1

data Dbl

test2

data Dbl'

test3

test4

data Mod n

test5