Covenant introduces a Turner-total, call-by-push-value, serializable DSL designed for reliable, secure programming in domains like smart contracts. It guarantees termination, safe execution, and predictability. By serving as a target for higher-level tools, Covenant supports composability and serialization, enabling developers to create robust applications with confidence in correctness and performance.

Introduction Currently, MLabs is undertaking the work of bringing bitwise primitive ...

Introduction QuickCheck is a well-known testing tool in the Haskell community. At MLabs, ...