categorifier
categorifier copied to clipboard
con-kitty
Interpret Haskell programs into any cartesian closed category.
This PR contains the following updates: | Update | Change | |---|---| | lockFileMaintenance | All locks refreshed | 🔧 This Pull Request updates lock files to use the latest...
![renovate[bot] avatar](https://avatars.githubusercontent.com/in/2740?v=4 "renovate[bot] avatar"){kind=avatar}
This issue lists Renovate updates and detected dependencies. Read the [Dependency Dashboard](https://docs.renovatebot.com/key-concepts/dashboard/) docs to learn more.[View this repository on the Mend.io Web Portal](https://developer.mend.io/github/con-kitty/categorifier). ## Config Migration Needed - [ ]...
`defer-failures` now preserves the original error message, and we can check that message in test cases. There is no longer any need to disable `defer-failures` (or jump through the other...
This only has an effect on GHC 8.10 and later. Older versions need to manually set the relevant flags. TODO: warn when we had to override flags set by the...
`concat-examples` contains a number of useful categories, but they’re not _quite_ usable by Categorifier in general. This sets up a pattern for supporting them and implements it for the `ConCat.Syntactic`...
I would like to use [DistributiveCat](https://github.com/con-kitty/concat/blob/master/classes/src/ConCat/Category.hs#L2208-L2209) to rewrite expressions involving [Data.Distribute.distribute](https://hackage.haskell.org/package/distributive-0.6.2.1/docs/Data-Distributive.html#t:Distributive)
I was using to the plug-in, and part of my program involved an `(==)` expression on [this type](https://github.com/martyall/galois-field/blob/master/src/Data/Field/Galois/Prime.hs#L34). The plug-in threw the following exception: ``` ghc: panic! (the 'impossible' happened)...
Hi there. I've been trying to use Conal's original plugin for automatic differentiation and was excited to find you had created this alternative! I've had no luck using it for...
allows us to have distinct existential and product types, for example (Extricated from https://kitty-hawk.atlassian.net/browse/SW-1672)
`subst`ituting let variables need some analysis on the nature of the target expressions. Especially, if the expression is `Dict` type, then we need to have special cares. Unfortunately, `Dict` can...