Block or report user

Report or block hferee

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse



Pinned repositories

  1. cakeml

    Forked from CakeML/cakeml

    CakeML: A Verified Implementation of ML

    Standard ML

  2. lambda-club

    Forked from dorchard/lambda-club

    Material from presentations at the University of Kent's LambdaClub meetings


21 contributions in the last year

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

Contribution activity

January 2019

hferee has no activity yet for this period.

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