https://github.com/jacquescarette/cas706-f2021
Repository for Fall 2021 version of CAS 706
https://github.com/jacquescarette/cas706-f2021
Last synced: 4 months ago
JSON representation
Repository for Fall 2021 version of CAS 706
- Host: GitHub
- URL: https://github.com/jacquescarette/cas706-f2021
- Owner: JacquesCarette
- Created: 2021-09-23T17:31:12.000Z (over 4 years ago)
- Default Branch: main
- Last Pushed: 2024-11-17T20:10:51.000Z (over 1 year ago)
- Last Synced: 2025-04-24T00:08:14.117Z (about 1 year ago)
- Language: Agda
- Size: 210 KB
- Stars: 10
- Watchers: 2
- Forks: 2
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# CAS706-F2021
Repository for Fall 2021 version of CAS 706
This is based on [PLFA](https://github.com/plfa/plfa.github.io) and borrows substantially from [Prabhakar Ragde's](https://cs.uwaterloo.ca/~plragde/) course [CS 747](https://cs.uwaterloo.ca/~plragde/747/) which is an 'instance' of PLFA.
You will find
- in `CS747`, the original handout files for that course
- in `handout`, the slightly modified files used for CAS 706
- in `filled`, what we ended up doing during lectures
More material will get posted here as it arises. Such as what was covered in the lectures, the
extra material used, the assignments, etc.