Find a file
2024-11-05 04:04:25 -06:00
.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

type-theory

This repository tracks my exploration into HoTT and cubical type theory, including my progress into research for my master's degree.

Links: