aboutsummaryrefslogtreecommitdiff
path: root/test
diff options
context:
space:
mode:
authorTom Smeding <tom@tomsmeding.com>2024-04-14 10:31:46 +0200
committerTom Smeding <tom@tomsmeding.com>2024-04-14 10:33:54 +0200
commit018ebecade82009a3410f19982dd435b6e0715d8 (patch)
tree286688dcba6963211705c135a032ddd82df4cf88 /test
parent3e74b0673caba7c04353c0cedb1d6e02de1fd007 (diff)
Rename inductive naturals to INat
Diffstat (limited to 'test')
0 files changed, 0 insertions, 0 deletions