pamellies/lambda-calculus-and-categories
A repository for the material of my course on lambda-calculus and categories
Stargazers
- 4sterMoscow
- anqurvanillapy@Shopee
- AppServiceProviderDhaka, Bangladesh
- AxEA
- ayberktUniversity of Birmingham
- beike-zh
- bezik
- cangiuli
- dannypsnl@second-state
- ekim1919
- etangrealDeepL.com
- Faares@ModNHQ
- jaycech3nUniversity of Nottingham
- jonsterlingUniversity of Cambridge
- k4rtikUChicago CS
- marsamPeru
- mayant15University of British Columbia
- mikevoronov@fluencelabs
- minadGermany
- NeM-T
- newswim@Atlassian
- nikitavoloboevSantander
- pashutk@atundra
- pepeLastStar.eu
- RaitoBezariusIndependent Contributor
- simfleischmanSimSpace
- sirinathSakrio!
- smurphy8
- thamugadiMorocco
- tkersey@thisisartium
- VAluxUkraine
- vanadium23Ostrovok.ru
- velveteerH-E-B
- viktorsobolAgoda
- vyorkin@zeriontech
- wrrnhttn