Block or report user

Pinned repositories

  1. positron-bar

    Electron bar for your linux desktop!

    JavaScript 35 3

  2. implicits.agda

    Mechanized formalization of Implicit resolution in Agda

    Agda 1

  3. turing

    A simple turing machine simulator in C.


196 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

August 2017

ElessarWebb has no activity yet for this period.

July 2017

Created an issue in UlfNorell/x86-agda that received 2 comments

Can I find the talk somewhere?

Looking at the code in this repository I'd love to hear your talk. Do you know if it has been recorded at the meeting? Or, if that's not the case, …

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