https://github.com/fifth-postulate/tapl
Exploring the book Types and Programming Languages
https://github.com/fifth-postulate/tapl
Last synced: about 1 month ago
JSON representation
Exploring the book Types and Programming Languages
- Host: GitHub
- URL: https://github.com/fifth-postulate/tapl
- Owner: fifth-postulate
- License: mit
- Created: 2026-05-15T16:25:58.000Z (2 months ago)
- Default Branch: main
- Last Pushed: 2026-06-03T09:23:13.000Z (about 2 months ago)
- Last Synced: 2026-06-03T11:13:02.257Z (about 2 months ago)
- Language: Elm
- Size: 330 KB
- Stars: 0
- Watchers: 0
- Forks: 0
- Open Issues: 1
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# TAPL
Exploring the book [Types and Programming Languages][tapl].
There is an [accompanying website][website].
## Study Group
As a joined effort to deepen our understanding and sharing knowledge,
at work we started a study group. The intent is to gain hands-on
knowledge and discuss our insights.
## Development
### Code
We will create the project for TAPL in [Elm][elm], a
> A delightful language
It has the added benefit that it is easy to create an webpage for the various
projects.
### Version Control
Although this project is hosted on [GitHub][github] it is versioned with
[Jiu Jitsu][jj].
[elm]: https://elm-lang.org/
[github]: https://github.com/
[jj]: https://www.jj-vcs.dev/latest/
[tapl]: https://www.cis.upenn.edu/~bcpierce/tapl/
[website]: https://fifth-postulate.nl/tapl/