Repository navigation

merge latest upstream - #1

Merged

ocramz merged 3 commits into

ocramz:masterfrom

Jun 10, 2024

Merged

merge latest upstream#1
ocramz merged 3 commits into
ocramz:masterfrom
bjpop:master

Commits on Mar 28, 2023
- Bump CI to ubuntu-20.04 and latest GHCs: 9.6.1 9.4.4 9.2.7
  andreasabel
  committed
  d2056cc
- CI: relax installed constraint on transformers-0.6 (too new for monads-tf)
  andreasabel
  committed
  d0dc534
Commits on Apr 1, 2023
- Merge branch 'andreasabel-ghc-9.6'
  bjpop
  committed
  a761465