free-category icon indicating copy to clipboard operation
free-category copied to clipboard

Published 20 hours ago • verified publisher icon coot
→

Metadata

Free categories, free arrows and free categories with monadic actions

Results 3 free-category issues
Sort by recently updated
recently updated
newest added

Transform `Arr` to the same form as `Cat`

Measure the performance difference.

coot avatar coot

Investigate `foldNatFree2` rewrite rule

Is it worth to add rewrite rules based on: ``` prop> foldNatFree2 nat . foldNatFree2 nat' = foldNatFree2 (foldNatFree2 nat . nat') ```

coot avatar coot

performance

Allow GHCs 9.8 and 9.10

1 comment

turion avatar turion

← Metadata

22
Stars
2
Forks
Watchers

Owner

verified publisher icon coot

Metadata

Free categories, free arrows and free categories with monadic actions

Back