Michael Zhang michael
0 followers · 0 following
Repositories
123
 Projects Packages Code Public activity Starred repositories
michael pushed to master at school/type-theory 2024-04-22 02:22:37 +00:00
88fcab2a06 auto gitdoc commit
michael pushed to master at school/type-theory 2024-04-22 02:21:12 +00:00
cc2bff5cb1 auto gitdoc commit
michael pushed to master at school/type-theory 2024-04-22 02:07:13 +00:00
0cb341072c auto gitdoc commit
michael pushed to master at school/type-theory 2024-04-22 02:05:38 +00:00
61649a0c57 auto gitdoc commit
michael pushed to master at school/type-theory 2024-04-22 01:49:25 +00:00
dc32aadeb3 auto gitdoc commit
michael pushed to master at school/type-theory 2024-04-22 01:45:56 +00:00
2e416a404f auto gitdoc commit
michael pushed to master at school/type-theory 2024-04-22 01:44:08 +00:00
abde273e80 auto gitdoc commit
michael pushed to master at school/type-theory 2024-04-22 01:39:35 +00:00
b99ce50aac auto gitdoc commit
michael pushed to master at school/type-theory 2024-04-22 01:37:42 +00:00
c10e2405f8 auto gitdoc commit
michael pushed to master at school/type-theory 2024-04-22 01:36:07 +00:00
c642f47288 auto gitdoc commit
michael commented on issue school/type-theory#8 2024-04-22 01:35:50 +00:00
Exercise 2.13: (2 ≃ 2) ≃ 2

Having difficulty with the case of:

  • given that aux1 is a function that maps id -> true and false -> neg by just running the function on true
  • given that rev is a function that maps true…
michael pushed to master at school/type-theory 2024-04-22 01:27:53 +00:00
f68001e728 auto gitdoc commit
michael pushed to master at school/type-theory 2024-04-22 01:25:58 +00:00
517764f549 auto gitdoc commit
michael pushed to master at school/type-theory 2024-04-22 01:24:10 +00:00
51de4c64e8 auto gitdoc commit
michael renamed repository from cubical to school/type-theory 2024-04-22 01:22:50 +00:00
michael transferred repository michael/bidir to pl/bidir 2024-04-21 23:50:52 +00:00
michael pushed to master at michael/blog 2024-04-21 23:24:17 +00:00
1d3a17937d git attributes
michael pushed to master at michael/blog 2024-04-21 23:23:08 +00:00
579fb1e7cd git attributes
michael pushed to main at michael/_cargo-index 2024-04-20 23:34:08 +00:00
fa72c69679 Rebuild Cargo Index
michael created branch main in michael/_cargo-index 2024-04-20 23:34:05 +00:00