trident-lang 0.1.0

A minimal, security-first universal language for provable computation
Documentation