Skip to content
View lambdair's full-sized avatar
9 followers · 13 following

Sponsoring

@uiua-lang

Achievements

Achievement: Public SponsorAchievement: Arctic Code Vault ContributorAchievement: Pull Shark

Achievements

Achievement: Public SponsorAchievement: Arctic Code Vault ContributorAchievement: Pull Shark

Block or report lambdair

Report abuse

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

Report abuse

Pinned Loading

  1. nix-configs nix-configs Public

    Nix

  2. computational-type-theory-lean4 computational-type-theory-lean4 Public

    Lean 2

  3. guile-paip-prolog guile-paip-prolog Public

    mirror of https://git.sr.ht/~lambdair/guile-paip-prolog

    Scheme