Accepting submissions
Not accepting submissions
|
AJ
Anupam Jain A quick and pragmatic introduction to Category Theory (Part 2)A continuation of the Category Theory talk from the September meetup. more
|
|
RD
Ramit Das A walk through humanity's ideas of logic and computationI shall try and present to you the journey humans took to reach the modern theorem provers. more
|
Hosted by
The homepage for the Indian Functional Programming community