Loreon
Labs
Platform
Docs
Home
Ecosystems
Other
plt
Programming Language Theory λΠ
Other
Emerging
GitHub
Website
Stars
—
Forks
—
Contributors
8
Last push
48mo ago
Recent commits
Latest commits.
Oxford comma!
9bae7bb
Steven Shaw
48mo ago
Update index.md
9e02db3
Gilberdi
49mo ago
Update index.md
64851a0
Gilberdi
49mo ago
TaPL -> TAPL
5239bce
Steven Shaw
52mo ago
Include Martin Odersky's first name
c6dcd37
Steven Shaw
52mo ago
Fix link to "The Implicit Calculus"
d4e800c
Steven Shaw
52mo ago
Add "The collected works of Per Martin-Löf"
acdd043
Steven Shaw
52mo ago
Indent with nbsp
3dd0224
Steven Shaw
52mo ago
Top contributors
Builders behind this project.
steshaw
195 commits
lemastero
8 commits
hirrolot
2 commits
tonymorris
2 commits
rowanoulton
2 commits
sngbd
2 commits
anton-trunov
2 commits
hawnzug
1 commits
