Skip to content
View lambdajon's full-sized avatar
🧑‍🍳
🧑‍🍳
133 followers · 53 following

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: Pull Sharkx2Achievement: QuickdrawAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: Pull Sharkx2Achievement: QuickdrawAchievement: Arctic Code Vault Contributor

Organizations

@haskelluz @Susambil-Labs

Block or report lambdajon

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
lambdajon/README.md

λjon — @lambdajon

I enjoy code written with types. I am interested in programming languages, type systems, proof assisants, sofware that make programmers work easier.

Pinned Loading

  1. confs confs Public

    My configurations

    Nix 2