Skip to content
Avatar
  • Block or report user

    Block or report TOTBWF

    Block user

    Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

    Report abuse

    Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

    Report abuse
82 followers · 3 following · 128

Highlights

  • Arctic Code Vault Contributor

Pinned

  1. muprl

    A small NuPRL style proof assistant

    Haskell 11 1

  2. tactic-haskell

    Tactic Metaprogramming in Haskell

    Haskell 42 1

  3. refinery

    ⛏️ A refinement proof framework for haskell

    Haskell 17

  4. cubical-categories

    Category theory formalized in cubical agda

    Agda 17

  5. agda-higher-categories

    Experiments in Higher Category Theory in Agda

    Agda 2

  6. graphiql.el

    Graphql development environment for emacs

    Emacs Lisp 4

129 contributions in the last year

Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec Mon Wed Fri
Learn how we count contributions.
Less
More

Contribution activity

December 2020

Created 3 commits in 1 repository
Created 1 repository

Created a pull request in haskell/containers that received 10 comments

Implement 'intersections', and add an 'Intersection' newtype along with a 'Semigroup' instance

Patch Description This PR adds the following function for computing the intersection of a series of sets: intersections :: Ord a => NonEmpty (Set a…

+27 −1 • 10 comments
Opened 3 other pull requests in 1 repository

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

You can’t perform that action at this time.