Topic: "class-invariants"
andreamancuso/rivar-lang
Rivar is a minimal, contract-first, class-based programming language inspired by Eiffel.
Language: OCaml - Size: 155 KB - Last synced at: 5 days ago - Pushed at: 29 days ago - Stars: 0 - Forks: 0

Rivar is a minimal, contract-first, class-based programming language inspired by Eiffel.
Language: OCaml - Size: 155 KB - Last synced at: 5 days ago - Pushed at: 29 days ago - Stars: 0 - Forks: 0