~dannypsnl

Taiwan

https://g0v.social/@dannypsnl

巫術 • 展開

https://dannypsnl.me

~dannypsnl/violet

The violet programming language

~dannypsnl/minic

minimal compiler tutorial

~dannypsnl/parsec-extra

Lean Parsec extra

~dannypsnl/headvariant

Experiment: Refining inductive types with constructors subscripting