Closed philderbeast closed 3 years ago
It compiles now with a warning:
> stack test flight-gap-math:math ... gap-math/test-suite-math/Points/Pg.hs:39:1: warning: [-Wunused-top-binds] Defined but not used: ‘launchToStart0’ | 39 | launchToStart0 = LaunchToStartPoints . assumeProp $ refined 0
It compiles now with a warning: