Block or report user

Popular repositories

  1. risou

    Simple Sudoku solver using backtracking

    Haskell 1

  2. opengl_graphics

    Forked from PistonDevelopers/opengl_graphics

    An OpenGL 2D back-end for the Piston game engine

    Rust

  3. idris-str-nat

    Idris

  4. idris-discrete

    Idris

  5. hledger

    Forked from simonmichael/hledger

    The hledger command-line and web-based accounting tool, a Haskell rewrite of ledger.

    Haskell

  6. hs-fizzbuzz

    FizzBuzz in Haskell. Because why not?

    Haskell

40 contributions in the last year

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

Contribution activity First pull request First issue Joined GitHub

November - December 2016

bascott has no activity yet for this period.

October 2016

Created a pull request in simonmichael/hledger that received 15 comments

Anon feature

Resolve #265

Created an issue in zjhmale/vscode-idris that received 1 comment

Can't load file on Windows

Errors (1) (no file):0:0 Can't find import /c:/*****/***.idr

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