reflex-frp / reflex-platform

A curated package set and set of tools that let you build Haskell packages so they can run on a variety of platforms. reflex-platform is built on top of the nix package manager.
https://reflex-frp.org
BSD 3-Clause "New" or "Revised" License
723 stars 164 forks source link

Bump `dependent-sum` and `dependent-sum-template` #824

Closed Ericson2314 closed 1 year ago

Ericson2314 commented 1 year ago

We were previously missing the latest version of dependent-sum-template due to confusion over them being in the same repo. Now, they are split into separate repos again, something which reduces cognitive overhead and is now safe because neither dependson the other. (They both instead depend on some.)

We want to release both, so making this PR to CI everything with the release candidates. If this passes, we will cut release and them bump the thunks again to point to master not develop.