 Michael Zhang
|
4af035f713
|
agda hangs with 2.6.4.1 on Chapter2
|
2024-07-21 14:12:39 -05:00 |
|
|
Michael Zhang
|
730eeffd75
|
updates
|
2024-07-16 17:44:26 -04:00 |
|
|
Michael Zhang
|
a1120f90f7
|
progress
|
2024-07-12 03:07:07 -05:00 |
|
|
Michael Zhang
|
c470464a1e
|
3.3.4 and 3.3.5
|
2024-07-11 11:03:21 -05:00 |
|
|
Michael Zhang
|
41c18cdd32
|
all progress mapped out
|
2024-07-11 10:15:26 -05:00 |
|
|
Michael Zhang
|
b5e43eeb22
|
update script
|
2024-07-10 23:06:31 -05:00 |
|
|
Michael Zhang
|
704e3f9f77
|
build table
|
2024-07-10 17:03:51 -05:00 |
|
|
Michael Zhang
|
d9b9f37ee2
|
converting primarily to cubical
|
2024-06-02 18:13:09 -04:00 |
|
|
Michael Zhang
|
282be4abed
|
make it error-less
|
2024-05-30 16:54:04 -05:00 |
|
|
Michael Zhang
|
4b5cd69a66
|
push
|
2024-05-24 22:54:28 -05:00 |
|
|
Michael Zhang
|
ce894147d4
|
progress
|
2024-05-20 02:40:03 -05:00 |
|
|
Michael Zhang
|
87ab99506c
|
progress
|
2024-05-17 13:50:46 -05:00 |
|
|
Michael Zhang
|
5c35f42baf
|
compile
|
2024-05-17 01:49:10 -05:00 |
|