Skip to content
Avatar

Highlights

  • Arctic Code Vault Contributor

Organizations

@ku-fpg @diagrams

Pinned

  1. A plugin for GHC to support super monads.

    Haskell 19

  2. Agda proofs about polymonads

    Agda 7 1

1 contribution in the last year

Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Mon Wed Fri

Contribution activity

January - September 2020

jbracker has no activity yet for this period.

Seeing something unexpected? Take a look at the GitHub profile guide.

You can’t perform that action at this time.