Functional language using refinement types to avoid bugs
Primary LanguageRust
This repository is not active