a sound modern language for computation and transactional resource logic
Primary LanguageHaskellBSD 2-Clause "Simplified" LicenseBSD-2-Clause