Taiwan
https://dannypsnl.me
巫術 • 展開
My blog site
A programming language, half theorem prover
a768852 complete projection N
complete projection N
N
~dannypsnl pushed to ~dannypsnl/violet git
74ce8a6 test nested projection
test nested projection
2607c54 update the date in LICENSE
update the date in LICENSE
219449f add LICENSE
add LICENSE
~dannypsnl pushed to ~dannypsnl/headvariant git
3340e05 fix, using bwd 2.2.0
fix, using bwd 2.2.0
New git repository added