~dannypsnl

Taiwan

https://dannypsnl.me

巫術 • 展開

blog

My blog site

violet

A programming language, half theorem prover

Activity

a768852 complete projection N

2 days ago via violet

74ce8a6 test nested projection

2 days ago via violet

2607c54 update the date in LICENSE

2 days ago via violet

219449f add LICENSE

2 days ago via violet

3340e05 fix, using bwd 2.2.0

5 days ago via violet
~dannypsnl/headvariant

New git repository added

5 days ago via violet
~dannypsnl/violet

New git repository added

8 days ago via violet