Skip to content
Eternal Coffee Break
Eternal Coffee Break




@python-discord @izumo-io
Block or Report

Block or report PureFunctor

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


I'm a self-taught programmer who's currently learning Functional Programming through different languages.

  • I'm continuously learning and using Python, Haskell, and PureScript for my hobby projects.
  • I'm currently exploring broader horizons through studying the theoretical and practical foundations of FP.
  • I'm part of the staff on the Python Discord, a large community focused around the Python programming language, helping new and experienced developers alike.

Email Twitter Pure's :: Playlist Discord

Feel free to check out my pinned projects below.

Language Stats Language Stats

Idris        13 hrs 55 mins  ████████▒░░░░░░░░░░░░░░░░   32.71 % 
Org          8 hrs 44 mins   █████░░░░░░░░░░░░░░░░░░░░   20.53 % 
PureScript   6 hrs 23 mins   ███▓░░░░░░░░░░░░░░░░░░░░░   15.03 % 
Emacs Lisp   6 hrs 3 mins    ███▓░░░░░░░░░░░░░░░░░░░░░   14.21 % 
C++          3 hrs 8 mins    ██░░░░░░░░░░░░░░░░░░░░░░░   07.37 % 


  1. Type-level list of kinds for PureScript.

    PureScript 10 2

  2. psvm-ps Public

    PureScript version management in PureScript.

    PureScript 10 1

  3. My personal portfolio website.

    PureScript 4

  4. A compiler backend for PureScript that generates Python code.

    Haskell 4

  5. Dissectible data structures for stack-safe traversals.

    PureScript 5

  6. Stack-safe recursion schemes using dissections.

    PureScript 4

2,594 contributions in the last year

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

Contribution activity

October 2021

Created 3 repositories
Opened 2 pull requests in 2 repositories
purescript/purescript 1 merged
PureFunctor/purescript 1 closed

Created an issue in idris-lang/Idris2 that received 4 comments

Weird behaviour when passing a List as an implicit argument.

For a bit of context, I have the following source file: data Proxy : (xs : List Type) -> Type where MkProxy : Proxy xs mkProxy : {xs : List Type} ->


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