Block or report user

Report or block buggymcbugfix

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Organizations

@camfort @granule-project

Popular repositories

  1. space-code-pro

    Space Code Pro Font (lighter version of Source Code Pro)

    8

  2. camfort

    Forked from camfort/camfort

    Light-weight verification and transformation tools for Fortran. See http://camfort.github.io

    Haskell

  3. tldr

    Forked from tldr-pages/tldr

    📚 Simplified and community-driven man pages

    TeX

  4. lamdu.github.io

    Forked from lamdu/lamdu.github.io

    Github pages site lamdu.github.io

    HTML

  5. advent_of_code_2016

    Forked from harry-clarke/advent_of_code_2016

    Solutions to the Advent of Code challenge in 2016 (See: http://adventofcode.com/2016)

    Haskell

  6. co519-logic

    Forked from dorchard/co519-logic

    Some accompanying lectures notes for CO519 - Logic at the School of Computing, University of Kent.

    TeX

518 contributions in the last year

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

Contribution activity

October 2018

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

How to accept unicode input without moving cursor?

Say I wanted to write ⟨⟨ as an identifier. Typing \ < \ < results in ⟨\<, so what I do is enter the following sequence of characters: \ < [SPC] [BK…

2 comments
36 contributions in private repositories Oct 5 – Oct 16

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