~dannypsnl/violet

The violet programming language
3d8388f6 — Lîm Tsú-thuàn 5 days ago
add expect_test, update formatter
e4e09ed2 — Lîm Tsú-thuàn 2 months ago
nix flake update
7716300f — Lîm Tsú-thuàn 2 months ago
use janestreet format style

refs

main
browse  log 

clone

read-only
https://git.sr.ht/~dannypsnl/violet
read/write
git@git.sr.ht:~dannypsnl/violet

You can also use your local clone with git send-email.

#violet

This project redevelop violet but using nameful context (library Yuujinchou).

  • core unification and meta solving: elaboration-zoo
  • (TODO) term
    • local let
    • (?) first class sigma v.s. record based sigma
    • (?) elaborator operations
  • (TODO) top level
    • open statement
    • export keyword for top let
  • (TODO) inductive types
    • strictly positive check
    • (?) sized type for termination checker
  • (TODO) universe polymorphism: library mugen
  • (TODO) pattern matching
Do not follow this link