Block or report user



113 contributions in the last year

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

Contribution activity

June 2018

Created a pull request in agda/agda that received 3 comments

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