quox/lib
rhiannon morris cb5bd6c98c make overloaded reduce stuff into interfaces
this is kinda a pain so i might change it back i guess
2023-02-20 21:42:31 +01:00
..
Quox make overloaded reduce stuff into interfaces 2023-02-20 21:42:31 +01:00
on-hold/Quox remove ope stuff too 2023-01-08 15:43:54 +01:00
quox-lib.ipkg Q.S.T.Reduce ⇒ Q.Reduce and make it use Definition directly 2023-02-19 18:54:59 +01:00