dannypsnl/violet
2
8
Fork
You've already forked violet
0
The violet programming language https://violet-lang.org
  • OCaml 98.9%
  • Shell 0.8%
  • Dune 0.3%
Lîm Tsú-thuàn 34097ffde0
 kernel: folded-first conversion via glued evaluation 
New unification:
- A pure no-solve convertibility (sound/incomplete) check goes first
- if [conv] returns false, then we do original unification (meta solving, use unfolded value)
Hence completeness and meta-solving behaviour are preserved
2026年06月30日 11:45:55 +08:00
.github/workflows CI: dune test 2026年06月23日 23:16:13 +08:00
bin release v0.8.2 2026年06月23日 21:51:45 +08:00
example redesign record surface syntax 2026年06月12日 09:30:03 +08:00
lib kernel: folded-first conversion via glued evaluation 2026年06月30日 11:45:55 +08:00
test violet check vt.scrbl files should work now 2026年06月22日 13:40:18 +08:00
.gitignore install script for violet 2026年05月18日 00:05:52 +08:00
.ocamlformat OCaml formatter version 2026年05月13日 11:55:33 +08:00
.pre-commit-config.yaml add dune test into pre-commit config 2026年03月31日 19:00:16 +08:00
CHANGELOG.md release v0.8.2 2026年06月23日 21:51:45 +08:00
dune-project violet check vt.scrbl files should work now 2026年06月22日 13:40:18 +08:00
install.sh auto-remove impossible case 2026年05月21日 16:11:40 +08:00
LICENSE update LICENSE 2026年03月30日 21:09:06 +08:00
README.md update README to new style 2026年05月16日 17:41:54 +08:00
violet.opam violet check vt.scrbl files should work now 2026年06月22日 13:40:18 +08:00
violet_common.opam refactor: violet_common and violet_surface library 2026年05月27日 18:20:47 +08:00
violet_elab.opam refactor: violet_common and violet_surface library 2026年05月27日 18:20:47 +08:00
violet_interactive.opam interactive layer 2026年05月25日 19:00:13 +08:00
violet_kernel.opam put OCaml requirement into dune-project 2026年05月17日 00:40:58 +08:00
violet_langserver.opam violet check vt.scrbl files should work now 2026年06月22日 13:40:18 +08:00
violet_literate.opam violet check vt.scrbl files should work now 2026年06月22日 13:40:18 +08:00
violet_project.opam fix dependency 2026年05月27日 22:21:13 +08:00
violet_surface.opam refactor: violet_common and violet_surface library 2026年05月27日 18:20:47 +08:00

violet

Violet is a small dependent type language.