From ea41a7529715987941257a0330c1eb1ae08cc12c Mon Sep 17 00:00:00 2001 From: Paweł Dybiec Date: Wed, 8 Jan 2020 20:22:14 +0100 Subject: Initial commit Initial version of project. What is done: * Syntax of expressions,commands,programs and types * Crude typechecking * Some typechecking tests --- doc/lista8.pdf | Bin 0 -> 104800 bytes doc/lista9.pdf | Bin 0 -> 114947 bytes doc/pracownia.pdf | Bin 0 -> 106722 bytes 3 files changed, 0 insertions(+), 0 deletions(-) create mode 100644 doc/lista8.pdf create mode 100644 doc/lista9.pdf create mode 100644 doc/pracownia.pdf (limited to 'doc') diff --git a/doc/lista8.pdf b/doc/lista8.pdf new file mode 100644 index 0000000..653d694 Binary files /dev/null and b/doc/lista8.pdf differ diff --git a/doc/lista9.pdf b/doc/lista9.pdf new file mode 100644 index 0000000..8725a13 Binary files /dev/null and b/doc/lista9.pdf differ diff --git a/doc/pracownia.pdf b/doc/pracownia.pdf new file mode 100644 index 0000000..b6dfd33 Binary files /dev/null and b/doc/pracownia.pdf differ -- cgit 1.4.1