diff options
| author | Kathy Gray | 2016-09-25 09:25:32 +0900 |
|---|---|---|
| committer | Kathy Gray | 2016-09-25 09:25:43 +0900 |
| commit | d68d1e959091b186ebb5cbecf53992307b852f0d (patch) | |
| tree | 277182c6aec29c41d1753fd9fd9670498e8d4f34 /language/manual.pdf | |
| parent | 6e7cee1575a7c49f4bdc30dfd6f25546c6c70995 (diff) | |
Catch formal type system up to reality, in progress
Diffstat (limited to 'language/manual.pdf')
| -rw-r--r-- | language/manual.pdf | bin | 342680 -> 361269 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/language/manual.pdf b/language/manual.pdf Binary files differindex 605bccbd..13fef4aa 100644 --- a/language/manual.pdf +++ b/language/manual.pdf |