search

maxsnew / cubical-categorical-logic

Extensions to the cubical stdlib category theory for categorical logic/type theory
MIT License
26 stars 5 forks source link

haskell/action/setup to haskell-actions/setup #80

Closed hejohns closed 6 months ago

hejohns commented 6 months ago

github action is deprecated: https://github.com/maxsnew/cubical-categorical-logic/actions/runs/9106755670/job/25034495230?pr=79#step:2:17

hejohns commented 6 months ago

rebased onto #81