~dannypsnl

Taiwan

https://g0v.social/@dannypsnl

巫術 • 展開

https://dannypsnl.me

violet

A programming language, half theorem prover

Activity

95e3662 update toolchain

2 months ago via violet

99c787b update manifest

2 months ago via violet

baa86fb give complete name

3 months ago via violet

d7c77bb use exact version in lean-toolchain

4 months ago via violet

a1b3cce minimal open command

4 months ago via violet

2b8840b add CmdM.liftIO to reduce repeated conversion code

4 months ago via violet

d6a6d4f using EIO Exception to replace IO now

4 months ago via violet

4c536f0 CLI parsing init

4 months ago via violet

b1ecf94 now out frame is complete

4 months ago via violet

846514a first draft to parse options

4 months ago via violet

bb0ef50 add proper handling for missing case

4 months ago via violet

76b44a1 Support record term syntax

4 months ago via violet

d081e3a update dependencies lock

4 months ago via violet

0f754a3 add sourcehut build status

4 months ago via violet

e333b1b remove github ci status

4 months ago via violet
1 / 3