Are you happy with your logging solution? Would you help us out by taking a 30-second survey? Click here

CS410-15

being the materials for CS410 Advanced Functional Programming in the 2015/16 session

Subscribe to updates I use CS410-15


Statistics on CS410-15

Number of watchers on Github 41
Number of open issues 0
Main language Agda
Open pull requests 1+
Closed pull requests 0+
Last commit over 3 years ago
Repo Created about 4 years ago
Repo Last Updated almost 2 years ago
Size 1.56 MB
Organization / Authorpigworker
Contributors2
Page Updated
Do you use CS410-15? Leave a review!
View CS410-15 activity
View on github
Fresh, new opensource launches 🚀🚀🚀
Trendy new open source projects in your inbox! View examples

Subscribe to our mailing list

Evaluating CS410-15 for your project? Score Explanation
Commits Score (?)
Issues & PR Score (?)

CS410-15

being the materials for CS410 Advanced Functional Programming in the 2015/16 session

This is the actual class website.

CS410-15 open pull requests (View All Pulls)
  • Hide `vec` and `vapp`
CS410-15 list of languages used
More projects by pigworker View all
Other projects in Agda