Release type-systems-2023-12-27T06:30:58-fe15645.pdf

Sections of Lecture 10

Release type-systems-2023-12-21T08:45:36-879d59c.pdf

Merge pull request #98 from w0nsh/master

Add a figure and prose to the efficient unification section

Release type-systems-2023-12-20T05:33:48-8eb7cd4.pdf

Merge pull request #96 from jauzatopauza/systemfprose

Add prose to beginning of chapter 6 and section 6.1.

Release type-systems-2023-12-20T05:36:06-3d99a32.pdf

Merge pull request #97 from bartlomiejkrolikowski/master

Extended Section 5.1.

Release type-systems-2023-12-17T21:18:50-7940b0d.pdf

Merge pull request #95 from kkmisiaszek/master

Modeling Recursion: Added definitions

Release type-systems-2023-12-17T06:14:48-4d1399e.pdf

Merge pull request #93 from Florian3k/lecture09

lecture 09 - unification algorithm

Release type-systems-2023-12-15T08:51:49-501478c.pdf

Sections of Lecture 9

Release type-systems-2023-12-12T07:00:36-37a4ac5.pdf

Merge pull request #90 from kkmisiaszek/master

Recursive Types: Added some prose to 9.1

Release type-systems-2023-12-12T17:36:08-2d9eabc.pdf

Merge pull request #91 from Bohun9/iso-recursive-types-diagram

Iso-recursive types diagram

Release type-systems-2023-12-11T18:27:17-32174ac.pdf

Equi-recursive types