https://github.com/jacquescarette/cas706-f2024
Public repository for CAS 706, Fall 2024 version
https://github.com/jacquescarette/cas706-f2024
Last synced: 4 months ago
JSON representation
Public repository for CAS 706, Fall 2024 version
- Host: GitHub
- URL: https://github.com/jacquescarette/cas706-f2024
- Owner: JacquesCarette
- Created: 2024-08-20T19:24:49.000Z (almost 2 years ago)
- Default Branch: main
- Last Pushed: 2024-11-30T17:56:21.000Z (over 1 year ago)
- Last Synced: 2025-04-24T00:07:07.772Z (about 1 year ago)
- Size: 136 KB
- Stars: 2
- Watchers: 1
- Forks: 3
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# CAS706-F2024
Repository for Fall 2024 version of CAS 706
## The Book
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.
Note that current PLFA does not quite work (yet) with the latest Agda. To get
a version that does, instead use [my fork](https://github.com/JacquesCarette/plfa.github.io) and pick branch 'feature-v2.7'.
## This Repo
You will find
- in `handout`, the files used for CAS 706
- in `filled`, what we ended up doing during lectures
- in `Exercises`, the assignments.
More material will get posted here as it arises. Such as what was covered in
the lectures, the extra material used, the assignments, etc.
Note that the *Exercises* assume that everything that was done in class,
i.e. the up-to-date content of 'filled' is accessible.
## Getting Agda
The instructions on the [Getting Started](https://plfa.github.io/GettingStarted/) page
are *almost* right... You should use `Agda-2.7.0` instead of `Agda-2.6.3`
and instead of using the sub-module for the standard library, just use
the normal method for [installing stdlib](https://github.com/agda/agda-stdlib/blob/master/doc/installation-guide.md). Yes, it is a bit fidly.
Please help each other with the Agda installation. It's pure technology,
there is little to be learned by wasting a lot of your time on figuring out
these arcane details!
## Agda setup
Note that my `$HOME/.agda/libraries` file says:
```
/Users/carette/agda-stdlib-2.1/standard-library.agda-lib
/Users/carette/course/CAS706-F2024/CAS706.agda-lib
/Users/carette/course/CAS706-F2024/Exercises.agda-lib
```