Skip to content


  • Arctic Code Vault Contributor


@GISAElkartea @labkaxita @SU-LOSP


  1. Typing the linear pi calculus in Agda

    TeX 17 1

  2. Formalising session types in Coq

    TeX 15 1

  3. My final year project at the University of Strathclyde

    Agda 10

  4. A brief introduction to GPG in spanish


521 contributions in the last year

Mar Apr May Jun Jul Aug Sep Oct Nov Dec Jan Feb Mon Wed Fri
Activity overview
Contributed to umazalakain/typing-linear-pi, rise-lang/shine, umazalakain/CoContextualPi and 5 other repositories

Contribution activity

March 2021

umazalakain has no activity yet for this period.

February 2021

Created a pull request in rise-lang/shine that received 3 comments

Simplified rise traversals

Changes with respect to the previous approach: The Visitor and the DepthFirstLocalSearch are merged into a single Traversal trait. This gets rid of

+685 −1,036 3 comments
Reviewed 2 pull requests in 2 repositories
rise-lang/shine 1 pull request
rise-lang/arithexpr 1 pull request

Created an issue in rise-lang/shine that received 3 comments

Make `Expr.hashCode` follow `Expr.equals`

Expr.hashCode tests for syntactic equality, while Expr.equals tests for alpha-equivalence. Discriminating by Expr.hashCode is only ever used to the…

Opened 3 other issues in 1 repository
Started 1 discussion in 1 repository

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