Block or report user

Pinned repositories

  1. learn-you-a-frege

    Frege Translation of "Learn You a Haskell for Great Good!."

    Frege 42

  2. frege-goodness-jp

    Japanese Translation of "Frege Goodness."

    CSS 1 2

  3. frege-email

    A Frege library for sending emails via SMTP.

    Frege 1

  4. Dierk/FregeGoodness

    Source of the Frege Goodness gitbook

    HTML 16 5

  5. restful-todo

    A Simple Todo Manager with REST API, Written in Frege.

    Frege 5 1

  6. concepts-of-proglangs

    五十嵐淳『プログラミング言語の基礎概念』の Coq による実装

    Coq 3

429 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

February 2017

Created a pull request in typelead/eta that received 1 comment

Fix a typo

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