Open toyboot4e opened 1 month ago
Now that the next language update is coming, I have to do it quickly, even if it's rough. Maybe I can compare ac-library-hs
with toy-lib
(my library) with GHC 9.4.5 using verification-helper
.
INLINABLE and inline phases are also of interest.
Use as an external library cannot be tested on online judge websites, so this is required.