Skip to content
GitLab
Explore
Sign in
Lennard Gäher
Iris
Repository
iris
CHANGELOG.md
Find file
Blame
History
Permalink
Add duplicable type class
· 3c625746
Simon Friis Vindum
authored
Nov 03, 2020
and
Robbert Krebbers
committed
Nov 03, 2020
3c625746
To find the state of this project's repository at the time of any of these versions, check out
the tags
.