Skip to content

fix: actually add the error type to prelude#672

Merged
ss2165 merged 1 commit intomainfrom fix/error-type-not-in-preludeNov 9, 2023
+25-1

Commits

Commits on Nov 9, 2023