Technology moves fast! ⚡ Don't get left behind.🚶 Subscribe to our mailing list to keep up with latest and greatest in open source projects! 🏆


Subscribe to our mailing list

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 about 3 years ago
Repo Created almost 4 years ago
Repo Last Updated over 1 year 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