.vscode
|
remove cubical hott folder
|
2024-08-06 17:13:37 -04:00 |
html
|
update
|
2024-07-27 22:20:41 -05:00 |
journals
|
wip
|
2024-09-26 14:18:52 -05:00 |
notes
|
notes
|
2024-10-17 14:15:19 -05:00 |
resources
|
wip lemma 4.1.5
|
2024-10-15 01:29:02 -05:00 |
scripts
|
yak shaving
|
2024-07-22 14:43:01 -05:00 |
src
|
exact sequences
|
2024-11-05 04:04:25 -06:00 |
talks/2024-grads
|
update
|
2024-10-20 18:02:05 -05:00 |
.editorconfig
|
build table
|
2024-07-10 17:03:51 -05:00 |
.envrc
|
some work
|
2024-10-12 00:03:02 -05:00 |
.gitattributes
|
Update .gitattributes
|
2024-05-23 16:29:31 +00:00 |
.gitignore
|
wtf
|
2024-10-14 20:35:07 -05:00 |
.ignore
|
update tokei
|
2024-10-20 14:11:17 -05:00 |
bun.lockb
|
add CCHM
|
2024-06-03 00:10:40 -04:00 |
flake.nix
|
ch2
|
2024-08-23 20:18:40 -05:00 |
Makefile
|
agda hangs with 2.6.4.1 on Chapter2
|
2024-07-21 14:12:39 -05:00 |
package.json
|
add CCHM
|
2024-06-03 00:10:40 -04:00 |
README.md
|
wip
|
2024-10-08 04:47:55 -05:00 |
tsconfig.json
|
add CCHM
|
2024-06-03 00:10:40 -04:00 |
type-theory.agda-lib
|
talk
|
2024-10-15 14:27:27 -05:00 |