Skip to content
View damhiya's full-sized avatar
107 followers · 99 following

Achievements

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

Achievements

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

Organizations

@PnVDiscord

Block or report damhiya

Report abuse

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

Report abuse
damhiya/README.md

I'm broadly interested in programming language theories, especially:

  • Functional programming
  • PL semantics
  • Type theory & Logics
  • Proof assistant & Formal verification

See my curriculum vitae

Pinned Loading

  1. MetaLambda MetaLambda Public

    Haskell 14

  2. Logos Logos Public

    Agda 8

  3. snu-sf/fairness snu-sf/fairness Public

    Coq 4 4

  4. AgdaFormalLanguage AgdaFormalLanguage Public

    Agda 3

  5. AgdaHeap AgdaHeap Public

    Agda 1

  6. plwiki/plwiki.github.io plwiki/plwiki.github.io Public

    TeX 35 7