|
static
|
Mostly done with slides, add room number finally
|
2026-01-07 13:58:41 -06:00 |
|
.gitignore
|
Switch to LeanTeX instead of Typst
|
2026-01-07 12:16:23 -06:00 |
|
Advanced.lean
|
More examples for lectures
|
2026-01-10 14:39:10 -06:00 |
|
Basic.lean
|
Welp won't get to advanced topics I guess
|
2026-01-20 20:23:23 -05:00 |
|
BasicFilled.lean
|
Finished lec 2
|
2026-01-20 20:00:44 -05:00 |
|
Cluedump.lean
|
Actually move the video player thing down even more
|
2026-01-16 17:21:01 -05:00 |
|
GenerateSlides.lean
|
Switch to LeanTeX instead of Typst
|
2026-01-07 12:16:23 -06:00 |
|
image.ppm
|
Add ppm test case
|
2026-01-05 13:08:44 -06:00 |
|
IMG_20260116_145034_893.avif
|
Finished type theory notes finally
|
2026-01-16 14:53:09 -05:00 |
|
IMG_20260116_145039_277.avif
|
Finished type theory notes finally
|
2026-01-16 14:53:09 -05:00 |
|
IMG_20260116_145042_363.avif
|
Finished type theory notes finally
|
2026-01-16 14:53:09 -05:00 |
|
index.html
|
Cancel the third office hours, minor tweaks for third lecture code
|
2026-01-26 00:13:25 -05:00 |
|
lake-manifest.json
|
Mostly done with slides, add room number finally
|
2026-01-07 13:58:41 -06:00 |
|
lakefile.toml
|
More random stuff
|
2026-01-17 14:35:13 -05:00 |
|
lean-toolchain
|
Initial commit
|
2026-01-01 22:45:09 -06:00 |
|
LICENSE
|
Add CC BY-SA license
|
2026-01-18 13:47:11 -05:00 |
|
Main.lean
|
More random stuff
|
2026-01-17 14:35:13 -05:00 |
|
main.rnote
|
Finished type theory notes finally
|
2026-01-16 14:53:09 -05:00 |
|
MoreBasic.lean
|
Cancel the third office hours, minor tweaks for third lecture code
|
2026-01-26 00:13:25 -05:00 |
|
Pset1.5.lean
|
Move problems to Pset1.5.lean
|
2026-01-20 20:13:08 -05:00 |
|
Pset1.lean
|
Finish first two psets
|
2026-01-04 21:51:06 -06:00 |
|
Pset2.lean
|
Don't need [Nonempty α] for cjq2
|
2026-01-21 23:53:06 -05:00 |
|
Pset3.lean
|
Add more functor/applicative/monad problems to pset2, move some to pset3
|
2026-01-14 14:00:12 -06:00 |
|
slides.pdf
|
Actually move the video player thing down even more
|
2026-01-16 17:21:01 -05:00 |
