Skip to content
Juvix Compiler CI

Add new case for positivity checker: type cannot occur as arg of bound var #5821

Sign in to view logs

Add new case for positivity checker: type cannot occur as arg of bound var

Add new case for positivity checker: type cannot occur as arg of bound var #5821

The logs for this run have expired and are no longer available.