From b11ca3a10d6c3a229fcb83d3969f52f5e9e55d72 Mon Sep 17 00:00:00 2001 From: nsfisis Date: Sat, 3 Jan 2026 13:08:44 +0900 Subject: add readme --- README.md | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 README.md (limited to 'README.md') 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/ -- cgit v1.3.1