Michael Zhang michael
0 followers · 0 following
Repositories
111
 Projects Packages Public activity Starred repositories
michael pushed to master at school/type-theory 2024-05-31 07:42:31 +00:00
36e3186b0f exercise 2.5
michael pushed to master at school/type-theory 2024-05-30 21:54:11 +00:00
282be4abed make it error-less
michael pushed to master at school/type-theory 2024-05-30 21:36:55 +00:00
df0887af8c update
michael commented on issue school/type-theory#13 2024-05-30 20:49:04 +00:00
Theorem 2.13.1

solved by lemma 2.3.10

michael pushed to master at school/type-theory 2024-05-30 20:48:45 +00:00
628e0d9e9f theorem 2.13.1
michael pushed to master at school/type-theory 2024-05-30 20:22:49 +00:00
3ce217e319 2.12.5
michael pushed to master at school/type-theory 2024-05-30 19:10:41 +00:00
d89ed0c7a0 2.11.2 - 2.11.4
michael pushed to master at michael/recommend 2024-05-30 17:30:32 +00:00
787c112f15 update
michael pushed to master at michael/recommend 2024-05-30 17:30:08 +00:00
33187f5066 update
michael pushed to master at michael/recommend 2024-05-30 17:23:03 +00:00
d9eefa17d4 initial
michael created branch master in michael/recommend 2024-05-30 17:23:03 +00:00
michael created repository michael/recommend 2024-05-30 17:22:53 +00:00
michael pushed to master at school/type-theory 2024-05-30 00:52:51 +00:00
9ea3e91e17 update
michael pushed to master at michael/dotfiles 2024-05-29 23:28:48 +00:00
908af263b6 parse int
michael pushed to master at michael/dotfiles 2024-05-29 23:27:59 +00:00
b39f04ecb0 use a way of checking version that works < 0.94
michael pushed to master at michael/dotfiles 2024-05-29 23:25:50 +00:00
bd6197adc7 check version for breaking change
6371708441 hide banner
Compare 2 commits »
michael pushed to master at michael/dotfiles 2024-05-29 21:06:10 +00:00
828b3d3736 update
michael pushed to master at michael/panorama 2024-05-29 19:30:47 +00:00
db50464eab what the hell
michael pushed to master at michael/dotfiles 2024-05-29 19:24:02 +00:00
1b98d4cfe9 change default editor
michael pushed to master at michael/dotfiles 2024-05-29 19:20:16 +00:00
37261842cb add alacritty config