profile
viewpoint
Andreas Abel andreasabel Chalmers and Gothenburg University Gothenburg, Sweden http://www.tcs.ifi.lmu.de/~abel

andreasabel/agda2lagda 11

Simple conversion from Agda text to literate Agda text.

andreasabel/continuous-normalization 5

Evaluation of typed terms in Agda using the Delay monad.

andreasabel/agda-scope 3

Notes and prototypes concerning Agda's scope checker

andreasabel/aplas14 1

Agda and LaTeX sources for APLAS 2014 paper on strong normalization of guarded STLC

andreasabel/cubical 1

Agda formalization of cubical sets.

andreasabel/active 0

Time-varying values with start and end times.

andreasabel/ag-graph 0

Attribute Grammars on Graphs

andreasabel/agda 0

Agda is a dependently typed programming language / interactive theorem prover. Bug tracker: https://code.google.com/p/agda/issues/list

andreasabel/agda-bench 0

Benchmarking tool for compile-time performance of Agda programs

andreasabel/agda-earley-parsing 0

A verified Agda implementation of the Earley parser for context-free languages

PR opened andreasabel/github

Repo issues
+104 -25

0 comment

8 changed files

pr created time in 11 hours

create barnchandreasabel/github

branch : repo-issues

created branch time in 11 hours

delete tag andreasabel/github

delete tag : run-workflow

delete time in 12 hours

created tagandreasabel/github

tagrun-workflow

The github API for Haskell

created time in 12 hours

PR opened phadej/github

Silence compilation warnings for github library

Silence compilation warnings for github library

  • remove unused imports
  • disable star-is-type warning while we are supporting GHC 7
+8 -11

0 comment

7 changed files

pr created time in 12 hours

create barnchandreasabel/github

branch : warnings

created branch time in 12 hours

fork andreasabel/github

The github API for Haskell

fork in 12 hours

issue commentagda/agda

Hooray issue 5555!

Using this issue as whiteboard for the latest issue statistics (2021-12-08):

  1. Open vs. closed issues (x: days since migration to github, y: number of issues since migration to github) agda-issues-open-vs-closed-2015-2021

  2. Lifetime of open issues (x: age, y: open issues of at most this age) agda-issues-age-open-2015-2021

  3. Lifetime of closed issues (x: issue lifetime, y: number of issues having lived at most x days) agda-issues-age-closed-2015-2021

andreasabel

comment created time in 17 hours

issue openedtimbod7/haskell-chart

Support GHC 9

Atm, GHC 9.0.1 and GHC 9.2.1 are excluded by the bounds on base.

created time in 19 hours

pull request commenthaskell-foundation/foundation

CI for GHC 8.0 - 9.0 using cabal generated by Haskell CI

ping @vincenthz

andreasabel

comment created time in a day

pull request commentjudah/haskeline

Fix #159: exclude Win32-2.10/11

Ping @judah

andreasabel

comment created time in a day

PR closed edwinb/EpiVM

Bumped version number to 0.9.3.3

I uploaded 0.9.3.3 to hackage.

+1 -1

1 comment

1 changed file

andreasabel

pr closed time in a day

pull request commentedwinb/EpiVM

Bumped version number to 0.9.3.3

I reckon this project is dead: https://matrix.hackage.haskell.org/#/package/epic

andreasabel

comment created time in a day

pull request commentpuffnfresh/wat-collection

Haskell Foldable WAT

Ping @puffnfresh

andreasabel

comment created time in a day

issue commentcommercialhaskell/stackage

hashtables-1.3

Agda 2.6.2.1 has been released.

juhp

comment created time in a day

issue commentcommercialhaskell/stackage

semigroups-0.20

active-0.2.0.15 got the necessary revision: https://hackage.haskell.org/package/active-0.2.0.15/revisions/

DanBurton

comment created time in a day

pull request commentivan-m/wl-pprint-text

Support up to GHC 8.8

This PR is outdated and can be closed.

hansroland

comment created time in a day

pull request commentivan-m/wl-pprint-text

Updating base-compat version upper bound.

This PR is outdated and can be closed.

mmzx

comment created time in a day

pull request commentivan-m/wl-pprint-text

bump base-compat upperbound to 0.13

Revision performed at: https://hackage.haskell.org/package/wl-pprint-text-1.2.0.1/revisions/

This PR is subsumed by #26 and can be closed.

juhp

comment created time in a day

push eventandreasabel/wl-pprint-text

Andreas Abel

commit sha 472df0f5be0fd2dbec2e4a7f00718107d3eb342a

Relax base-compat; Haskell-CI on github for GHC 7.4 - 9.2 Also: - rm travis.yml - bump cabal version to 1.10 - format dependency list

view details

push time in a day

PR opened ivan-m/wl-pprint-text

Relax base-compat; Haskell-CI on github for GHC 7.4 - 9.2
  • allow base-compat 0.12
  • new github workflow: Haskell-CI for GHC 7.4 - 9.2
  • rm travis.yml
  • bump cabal version to 1.10
  • format dependency list
+276 -180

0 comment

3 changed files

pr created time in a day

create barnchandreasabel/wl-pprint-text

branch : haskell-ci

created branch time in a day

fork andreasabel/wl-pprint-text

A Wadler/Leijen Pretty Printer for Text values

fork in a day

Pull request review commentcommercialhaskell/stackage

Upgrade to aeson 2.0, closes #6217

 packages:         - zydiskell < 0 # tried zydiskell-0.2.0.0, but its *library* does not support: base-4.15.0.0         - zydiskell < 0 # tried zydiskell-0.2.0.0, but its *library* does not support: storable-record-0.0.6 +        # aeson 2.0+        - Agda < 0 # tried Agda-2.6.2, but its *library* does not support: aeson-2.0.2.0

Agda 2.6.2.1 has been released!

bergmark

comment created time in a day

PullRequestReviewEvent

issue commentcommercialhaskell/stackage

hashable 1.4.0.0

Agda 2.6.2.1 supports hashable-1.4.

bergmark

comment created time in a day

issue commentcommercialhaskell/stackage

aeson-2.0.0.0

Agda 2.6.2.1 supports aeson-2.0.

jkachmar

comment created time in a day

Pull request review commentcommercialhaskell/stackage

Initial GHC 9.2 bounds

 packages:         - zydiskell < 0 # tried zydiskell-0.2.0.0, but its *library* does not support: base-4.15.0.0         - zydiskell < 0 # tried zydiskell-0.2.0.0, but its *library* does not support: storable-record-0.0.6 -    "Stackage upper bounds":--      # https://github.com/commercialhaskell/stackage/issues/6122-      - mmorph < 1.2--      # https://github.com/commercialhaskell/stackage/issues/6184-      - base-compat < 0.12--      # https://github.com/commercialhaskell/stackage/issues/6185-      - base-compat-batteries < 0.12--      # https://github.com/commercialhaskell/stackage/issues/6195-      - miso < 1.8--      # https://github.com/commercialhaskell/stackage/issues/6237-      - lucid < 2.9.13-      - mmark < 0.0.7.4--      # happy-1.21.0 is deprecated an unbuildable-      # https://github.com/commercialhaskell/stackage/issues/6294-      # see also https://github.com/commercialhaskell/stackage/issues/6242-      - happy < 1.21--      # https://github.com/commercialhaskell/stackage/issues/6243-      - jose < 0.9--      # https://github.com/commercialhaskell/stackage/issues/6264-      # Requires GHC 9.2-      # Any new package-version that must use GHC 9.2 should be added here.-      # We'll Remove this section along with the nightly upgrade to GHC 9.2.-      - ghc-lib < 9.2.1.20211030-      - ghc-lib-parser < 9.2.1.20211030-      - ghc-lib-parser-ex < 9.2.0.0-      - singletons-base < 3.1-      - singletons-th < 3.1-      - th-desugar < 1.13-      - eliminators < 0.9-      - ghc-syntax-highlighter < 0.0.8 # requires ghc-lib-parser >= 9.2--      # https://github.com/commercialhaskell/stackage/issues/6265-      - attoparsec < 0.14.2--      # https://github.com/commercialhaskell/stackage/issues/6268-      - hashable < 1.4.0.0--      # https://github.com/commercialhaskell/stackage/issues/6273-      - freckle-app < 1.0.1--      # https://github.com/commercialhaskell/stackage/issues/6278-      - ad < 4.5--      # https://github.com/commercialhaskell/stackage/issues/6288-      - mmark-ext < 0.2.1.4--      # https://github.com/commercialhaskell/stackage/issues/6292-      - doctest < 0.19--      # https://github.com/commercialhaskell/stackage/issues/6296-      - opaleye < 0.8--      # https://github.com/commercialhaskell/stackage/issues/6297-      - hspec-discover < 2.9--      # https://github.com/commercialhaskell/stackage/issues/6298-      - hspec-core < 2.9-      - hspec-meta < 2.9--      # https://github.com/commercialhaskell/stackage/issues/6299-      - hspec < 2.9--      # https://github.com/commercialhaskell/stackage/issues/6308-      - semigroups < 0.20--      # https://github.com/commercialhaskell/stackage/issues/6309-      - polysemy < 1.7-      - polysemy-plugin < 0.4.2--      # https://github.com/commercialhaskell/stackage/issues/6310-      - lens < 5.1--      # https://github.com/commercialhaskell/stackage/issues/6217-      # requires aeson >= 2-      - stripe-scotty < 1.1.0.1-      - stripe-wreq < 1.0.1.12--      # https://github.com/commercialhaskell/stackage/issues/6312-      - sydtest < 0.6--      # https://github.com/commercialhaskell/stackage/issues/6313-      - unicode-data < 0.2+    "GHC 9.2 bounds":+        - ALUT < 0 # tried ALUT-2.4.0.3, but its *library* requires the disabled package: OpenAL+        - Agda < 0 # tried Agda-2.6.2, but its *library* does not support: Cabal-3.6.0.0+        - Agda < 0 # tried Agda-2.6.2, but its *library* does not support: aeson-2.0.2.0+        - Agda < 0 # tried Agda-2.6.2, but its *library* does not support: base-4.16.0.0+        - Agda < 0 # tried Agda-2.6.2, but its *library* does not support: hashable-1.4.0.0+        - Agda < 0 # tried Agda-2.6.2, but its *library* does not support: template-haskell-2.18.0.0

Agda 2.6.2.1 has been released and supports GHC 9.2!

bergmark

comment created time in a day

PullRequestReviewEvent
more