3d8388f add expect_test, update formatter

~dannypsnl pushed to ~dannypsnl/violet git

e4e09ed nix flake update

~dannypsnl pushed to ~dannypsnl/violet git

7716300 use janestreet format style

~dannypsnl pushed to ~dannypsnl/violet git

9340249 use janestreet format style

~dannypsnl pushed to ~dannypsnl/violet git

16c6071 nix flake update

~dannypsnl pushed to ~dannypsnl/violet git

cb3acc0 nix flake update

~dannypsnl pushed to ~dannypsnl/violet git

b6f5429 correct the dependencies

~dannypsnl pushed to ~dannypsnl/violet git

5f3f8d6 prepare for sublibraries separation

~dannypsnl pushed to ~dannypsnl/violet git

2a4bda8 extract Unification module

~dannypsnl pushed to ~dannypsnl/violet git

46cf787 lambda unify with arbitrary value t

~dannypsnl pushed to ~dannypsnl/violet git

fda6d34 improve error message

~dannypsnl pushed to ~dannypsnl/violet git

#10 syntax: let pattern binding

~dannypsnl commented on violet-dev todo

#8 pattern of pair

~dannypsnl commented on violet-dev todo

#1 complete SIT (inductive types)

~dannypsnl commented on violet-dev todo

#19 pattern matching on type, only for inductive types

~dannypsnl commented on violet-dev todo