https://github.com/alihammad-gist/functional-theory

Applied Functional Type Theory
https://github.com/alihammad-gist/functional-theory

scala

Last synced: 24 days ago
JSON representation

Applied Functional Type Theory

• Host: GitHub
• URL: https://github.com/alihammad-gist/functional-theory
• Owner: alihammad-gist
• Created: 2019-05-23T19:00:29.000Z (over 5 years ago)
• Default Branch: master
• Last Pushed: 2019-05-27T11:04:12.000Z (over 5 years ago)
• Last Synced: 2024-11-12T06:27:12.301Z (3 months ago)
• Topics: scala
• Language: Scala
• Homepage: https://www.youtube.com/playlist?list=PLcoadSpY7rHXJWbUkjQ3P9MXBbXxLP8kV
• Size: 26.4 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
Examples and their tests from the videos as well as exercises and their tests. The course is very detailed and indepth explaination of the subject, going through may require patience.

[Applied Functional Type Theory](https://www.youtube.com/playlist?list=PLcoadSpY7rHXJWbUkjQ3P9MXBbXxLP8kV)

 by [Sergei Winitzki](https://www.google.com/search?hl=en&q=Sergei%20Winitzki)