Skip to content



Block or Report

Block or report glangmead

Block user

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

You must be logged in to block users.

Report abuse

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

Report abuse

Popular repositories

  1. Formalization work. Meant to be collaborative. At least Agda and Lean for now.

    Agda 5

  2. Companion code to CMU course on Homotopy Type Theory

    Agda 4 2

  3. Forked from hybrid-pedagogy/openmusictheory

    A growing, online "textbook" for music theory and aural skills


  4. iOS App version of


  5. lotrlcg Public

    Tools to help play The Lord of the Rings LCG digitally


  6. Rails app for sharing wishlists, e.g.


53 contributions in the last year

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

Contribution activity

October 2021

Created 1 repository

Created an issue in banacorn/agda-mode-vscode that received 2 comments

File not found error when collaborating via the Microsoft Live Share extension

A teammate and I used Microsoft Live Share to collaborate on an Agda file. Agda-mode worked well for me, the person who initiated the share, but no…


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