Skip to content
Avatar

Achievements

Achievements

Block or Report

Block or report andersk

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

Pinned

  1. Macro to generate num::FromPrimitive instances for enum that works in Rust 1.0

    Rust 58 20

  2. tiny-lambda Public

    A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell

    Haskell 10 1

  3. Source for Understanding Git cluedump slides, 2008-10-21

    TeX 5

  4. haskell-cgi Public

    A library for writing CGI programs

    Haskell 6 7

  5. Exact computation with constructible real numbers

    Haskell 7 1

  6. Finite nimber arithmetic

    Haskell 2

Contribution activity

May 2022

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

Remove zulip-ec2-configure-interfaces

Our current EC2 systems don’t have an interface named eth0, and if they did, this script would do nothing but crash with ImportError because we hav…

+2 −209 3 comments

Created an issue in python/mypy that received 3 comments

Can’t use DefaultArg(…) within Concatenate[…]

There seems to be no way to annotate a decorator that prepends a parameter with a default value. Trying to use DefaultArg(…) within Concatenate[…]

3 comments
6 contributions in private repositories May 2 – May 4

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