2 Commits

Author SHA1 Message Date
gmega
ce4d8d0238
initial exception types and effects fixes 2023-12-15 11:35:07 -03:00
Mark Spanbroek
04ff046553 Introduce Contract abstraction 2022-01-20 12:56:18 +01:00