ecta
ecta copied to clipboard
Published
20 hours ago •
jkoppel
jkoppel
Results
1
ecta issues
Sort by
recently updated
recently updated
newest added
I'm trying to use ecta via the [ecta-plugin](https://github.com/Tritlo/ecta-plugin/blob/main/Plugin/ECTA/Plugin.hs), but when I use it for `Prelude` it complains about ``` compare: unexpected RecIntersect (UnsafeIntersectId 478 478) ``` I've made a minimal...
