Skip to content


  • Arctic Code Vault Contributor

Popular repositories

  1. Base16 colors for neovim

    Vim script 29 6

  2. Light your buffers up

    Vim script 21 3

  3. Get your author on

    Vim script 14 3

  4. A controller for Backbone, linking Models to Views

    JavaScript 11

  5. Python fractals

    Python 8 3

  6. Avoid long lines

    Vim script 7

11 contributions in the last year

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

Contribution activity

May - August 2020

Soares has no activity yet for this period.

April 2020

Created an issue in agda/agda that received 3 comments

Merge termination and positivity checker [Simple induction that the positivity checker rejects when it's defined using records]

Consider the following code: open import Agda.Primitive using (lsuc; lzero) module Main where data Nat : Set where zero : Nat succ : Nat -> Nat -- …


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

You can’t perform that action at this time.