~dannypsnl

Taiwan

https://g0v.social/@dannypsnl

巫術 • 展開

https://dannypsnl.me

violet

A programming language, half theorem prover

Activity

7499cd2 correctly parse path x.y.z for import statement

6 days ago via violet

0fad231 misc: print filepath for module log

6 days ago via violet

53a2803 update import feature

6 days ago via violet

08b16c6 import statement parsing

7 days ago via violet

f93690c doc: update status of project

7 days ago via violet

645478c introduce library mugen for Universe level

7 days ago via violet

ec806b9 basic data type

7 days ago via violet

bfe11f8 preserve begin...end block

a month ago via violet

3d8388f add expect_test, update formatter

3 months ago via violet

e4e09ed nix flake update

5 months ago via violet

7716300 use janestreet format style

5 months ago via violet

9340249 use janestreet format style

5 months ago via violet

16c6071 nix flake update

6 months ago via violet

cb3acc0 nix flake update

7 months ago via violet

b6f5429 correct the dependencies

7 months ago via violet
1 / 3