Skip to content
View plt-amy's full-sized avatar
🧊
Cubical thinker
🧊
Cubical thinker
591 followers · 48 following

Sponsors

@googleson78
@phantamanta44
Private Sponsor

Achievements

Achievement: Pair Extraordinairex3Achievement: Pull Sharkx3Achievement: QuickdrawAchievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Starstruckx2

Achievements

Achievement: Pair Extraordinairex3Achievement: Pull Sharkx3Achievement: QuickdrawAchievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Starstruckx2

Highlights

  • Pro

Organizations

@tmpim @amuletml @the1lab

Block or report plt-amy

Report abuse

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

Report abuse
plt-amy/README.md

I am the lead author of the 1Lab. I have previously worked on Amulet, a programming language in the ML family whose type system reimplemented many of GHC's extensions to the Haskell2010 type system.

I am reacheable by email at me [at] amelia [dot] how, or on Mastodon as amy [at] types [dot] pl.

Pinned Loading

  1. the1lab/1lab the1lab/1lab Public

    A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

    Agda 436 92

  2. amuletml/amulet amuletml/amulet Public archive

    An ML-like functional programming language

    Haskell 351 23