scratches/tp_lean
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
3 commits 1 branch 0 tags 33 KiB
Commit graph

3 commits

This branch
This branch
All branches
Author SHA1 Message Date
qwjyh
3eb2bdcf12 (WIP) exercise 2024-04-20 20:41:17 +09:00
qwjyh
5aa2ea416c WIP 2024-04-20 17:20:05 +09:00
qwjyh
308bf51494 init (3.2 negation) 2024-04-20 13:24:32 +09:00