95e3662 update toolchain

~dannypsnl pushed to ~dannypsnl/violet git

99c787b update manifest

~dannypsnl pushed to ~dannypsnl/violet git

baa86fb give complete name

~dannypsnl pushed to ~dannypsnl/violet git

d7c77bb use exact version in lean-toolchain

~dannypsnl pushed to ~dannypsnl/violet git

a1b3cce minimal open command

~dannypsnl pushed to ~dannypsnl/violet git

2b8840b add CmdM.liftIO to reduce repeated conversion code

~dannypsnl pushed to ~dannypsnl/violet git

d6a6d4f using EIO Exception to replace IO now

~dannypsnl pushed to ~dannypsnl/violet git

4c536f0 CLI parsing init

~dannypsnl pushed to ~dannypsnl/violet git

b1ecf94 now out frame is complete

~dannypsnl pushed to ~dannypsnl/violet git

846514a first draft to parse options

~dannypsnl pushed to ~dannypsnl/violet git

bb0ef50 add proper handling for missing case

~dannypsnl pushed to ~dannypsnl/violet git

76b44a1 Support record term syntax

~dannypsnl pushed to ~dannypsnl/violet git

d081e3a update dependencies lock

~dannypsnl pushed to ~dannypsnl/violet git

0f754a3 add sourcehut build status

~dannypsnl pushed to ~dannypsnl/violet git

e333b1b remove github ci status

~dannypsnl pushed to ~dannypsnl/violet git