Skip to content
Working from home
Working from home


  • Arctic Code Vault Contributor


  1. General-Purpose Computer Algebra System as an EDSL in Haskell

    HTML 64 7

  2. Sized sequence data-types

    Haskell 9 1

  3. Agda-style equational reasoning in Haskell

    Haskell 42 5

  4. Type-level well-kinded natural numbers.

    Haskell 28 11

  5. Presburger arithmetic solver for built-in type-level naturals

    Haskell 5 6

  6. YaTeX-like completions for LaTeX in VSCode

    TypeScript 3

852 contributions in the last year

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

Contribution activity

October 2020

Created a pull request in haskell/haskell-language-server that received 6 comments

Tactic plugin: Excludes Dictionary arguments in GADTs in Destruct Tactic

Consider the following: {-# LANGUAGE GADTs #-} module GoldenGADTDestruct where data CtxGADT where MkCtxGADT :: (Show a, Eq a) => a -> CtxGADT ctxGADT

+48 −2 6 comments

Created an issue in haskell/haskell-language-server that received 3 comments

Eval Plugin can't handle local module imports even if they are explicitly listed in `exposed-modules`

Subject of the issue The Eval Plugin in hls- seems incapable of treating local module imports properly. Your environment Output of haskell…

78 contributions in private repositories Oct 1 – Oct 24

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

You can’t perform that action at this time.