diff options
| author | nsfisis <nsfisis@gmail.com> | 2026-01-03 13:08:44 +0900 |
|---|---|---|
| committer | nsfisis <nsfisis@gmail.com> | 2026-01-03 13:08:44 +0900 |
| commit | b11ca3a10d6c3a229fcb83d3969f52f5e9e55d72 (patch) | |
| tree | 0da95ab67aa307c6531772ad15f23d5d6781a302 | |
| parent | 189e42d5f19fb28f0ef881a99ed5b5c572d5949c (diff) | |
| download | TaPL-impls-b11ca3a10d6c3a229fcb83d3969f52f5e9e55d72.tar.gz TaPL-impls-b11ca3a10d6c3a229fcb83d3969f52f5e9e55d72.tar.zst TaPL-impls-b11ca3a10d6c3a229fcb83d3969f52f5e9e55d72.zip | |
add readme
| -rw-r--r-- | README.md | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/README.md b/README.md new file mode 100644 index 0000000..5f92f19 --- /dev/null +++ b/README.md @@ -0,0 +1,3 @@ +My implementations of type checkers of "Types and Programming Languages" book (written in Haskell) + +Original implementation (OCaml): https://www.cis.upenn.edu/~bcpierce/tapl/ |