Skip to content

Activity

Showing most recent first

Updated list of authors

ppolesiukpushed 1 commit to master • 5d51a31…56bd9d8 • 
on Mar 26, 2024

Merge pull request #117 from Florian3k/lecture15

Pull request merge
ppolesiukpushed 2 commits to master • a883f9e…5d51a31 • 
on Jan 26, 2024

Merge pull request #116 from Florian3k/lecture14

Pull request merge
ppolesiukpushed 2 commits to master • 5abd6ff…a883f9e • 
on Jan 26, 2024

Merge pull request #115 from bartlomiejkrolikowski/master

Pull request merge
ppolesiukpushed 2 commits to master • 4049dc8…5abd6ff • 
on Jan 26, 2024

Merge pull request #114 from kkmisiaszek/master

Pull request merge
ppolesiukpushed 2 commits to master • 70d635b…4049dc8 • 
on Jan 26, 2024

Merge pull request #113 from kkmisiaszek/master

Pull request merge
ppolesiukpushed 2 commits to master • 49df1b5…70d635b • 
on Jan 24, 2024

Merge pull request #112 from Bohun9/effect-row-subtyping

Pull request merge
ppolesiukpushed 2 commits to master • c23f13a…49df1b5 • 
on Jan 24, 2024

Merge pull request #111 from bartlomiejkrolikowski/master

Pull request merge
ppolesiukpushed 2 commits to master • a2e9c3e…c23f13a • 
on Jan 24, 2024

Merge pull request #110 from Florian3k/lecture13

Pull request merge
ppolesiukpushed 2 commits to master • fb68671…a2e9c3e • 
on Jan 23, 2024

Merge pull request #109 from Florian3k/lecture12

Pull request merge
ppolesiukpushed 2 commits to master • 90e6401…fb68671 • 
on Jan 17, 2024

Merge pull request #108 from bartlomiejkrolikowski/master

Pull request merge
ppolesiukpushed 3 commits to master • 88f3cfb…90e6401 • 
on Jan 17, 2024

Merge pull request #107 from Bohun9/subtyping-trans-rule

Pull request merge
ppolesiukpushed 2 commits to master • 6597353…88f3cfb • 
on Jan 15, 2024

Merge pull request #106 from Florian3k/lecture12

Pull request merge
ppolesiukpushed 2 commits to master • 6d744af…6597353 • 
on Jan 15, 2024

Sections of Lecture 12

ppolesiukpushed 1 commit to master • 6bf4eb9…6d744af • 
on Jan 13, 2024

Merge pull request #105 from kkmisiaszek/master

Pull request merge
ppolesiukpushed 2 commits to master • 6d1d077…6bf4eb9 • 
on Jan 10, 2024

Merge pull request #104 from kkmisiaszek/master

Pull request merge
ppolesiukpushed 2 commits to master • cfdb7f1…6d1d077 • 
on Jan 10, 2024

Merge pull request #103 from Bohun9/higher-order-polymorphism

Pull request merge
ppolesiukpushed 4 commits to master • 43ef23d…cfdb7f1 • 
on Jan 8, 2024

Merge pull request #100 from Florian3k/lecture11

Pull request merge
ppolesiukpushed 2 commits to master • ea90816…43ef23d • 
on Jan 6, 2024

Sections of Lecture 11

ppolesiukpushed 1 commit to master • f929a7f…ea90816 • 
on Jan 4, 2024

Merge pull request #99 from Florian3k/lecture10

Pull request merge
ppolesiukpushed 2 commits to master • fe15645…f929a7f • 
on Jan 2, 2024

Sections of Lecture 10

ppolesiukpushed 1 commit to master • 879d59c…fe15645 • 
on Dec 27, 2023

Merge pull request #98 from w0nsh/master

Pull request merge
ppolesiukpushed 2 commits to master • 3d99a32…879d59c • 
on Dec 21, 2023

Merge pull request #97 from bartlomiejkrolikowski/master

Pull request merge
ppolesiukpushed 2 commits to master • 8eb7cd4…3d99a32 • 
on Dec 20, 2023

Merge pull request #96 from jauzatopauza/systemfprose

Pull request merge
ppolesiukpushed 2 commits to master • 7940b0d…8eb7cd4 • 
on Dec 20, 2023

Merge pull request #95 from kkmisiaszek/master

Pull request merge
ppolesiukpushed 2 commits to master • 4d1399e…7940b0d • 
on Dec 17, 2023

Merge pull request #93 from Florian3k/lecture09

Pull request merge
ppolesiukpushed 2 commits to master • 501478c…4d1399e • 
on Dec 17, 2023

Sections of Lecture 9

ppolesiukpushed 1 commit to master • 2d9eabc…501478c • 
on Dec 15, 2023

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

Pull request merge
ppolesiukpushed 2 commits to master • 37a4ac5…2d9eabc • 
on Dec 12, 2023

Merge pull request #90 from kkmisiaszek/master

Pull request merge
ppolesiukpushed 2 commits to master • 32174ac…37a4ac5 • 
on Dec 12, 2023

Equi-recursive types

ppolesiukpushed 1 commit to master • 668c0e8…32174ac • 
on Dec 11, 2023