Skip to content
<open-source>
Oeiuwq Faith Blog OpenSource Porfolio

steshaw/plt

Programming Language Theory λΠ
Source code at GitHub https://steshaw.org/plt/
steshaw/plt.json
{
  "createdAt": "2013-07-30T23:48:44Z",
  "defaultBranch": "main",
  "description": "Programming Language Theory λΠ",
  "fullName": "steshaw/plt",
  "homepage": "https://steshaw.org/plt/",
  "language": "CSS",
  "name": "plt",
  "pushedAt": "2024-12-02T01:47:27Z",
  "stargazersCount": 5322,
  "topics": [
    "category-theory",
    "functional-programming",
    "logic",
    "programming-languages",
    "proof-theory",
    "type-theory"
  ],
  "updatedAt": "2025-11-23T05:37:15Z",
  "url": "https://github.com/steshaw/plt"
}

index.md