categorifier
categorifier copied to clipboard
con-kitty
Interpret Haskell programs into any cartesian closed category.
This happened way back is no longer reproducible, but this is what happened back then: --------------- [Ziyang Liu] [Jan 15th, 2021 at 1:57 PM] I think I found the cause...
`rem` and `quot` should be added to `mkNoInlinePrimIntFunctions`. Unfortunately there's no `Plugins.remIntName` or `Plugins.quotIntName` which makes things slightly more complicated. (Extricated from https://kitty-hawk.atlassian.net/browse/SW-4259)
This PR contains the following updates: | Package | Update | Change | |---|---|---| | [nixpkgs](https://redirect.github.com/NixOS/nixpkgs) | major | `release-23.11` -> `release-24.11` | --- ### Release Notes NixOS/nixpkgs (nixpkgs) ###...
![renovate[bot] avatar](https://avatars.githubusercontent.com/in/2740?v=4 "renovate[bot] avatar"){kind=avatar}
https://github.com/con-kitty/categorifier/blob/3b7220fd5d03bd20d786bdd901f320d38c728d1c/plugin/Categorifier/Categorify.hs#L90-L91 This message needs to be updated, because [the behavior was changed in GHC 9.4](https://gitlab.haskell.org/ghc/ghc/-/issues/17884). Now plugins are loaded in the expected order, but we need to clarify that the...
This PR contains the following updates: | Update | Change | |---|---| | lockFileMaintenance | All locks refreshed | 🔧 This Pull Request updates lock files to use the latest...
This PR contains the following updates: | Package | Type | Update | Change | |---|---|---|---| | [actions/checkout](https://redirect.github.com/actions/checkout) | action | major | `v4` -> `v5` | --- ### Release...