or “Clare”, if you find that’s easier to pronounce!
- Type Safe Languages
- Metaprogramming
- Interoperability
- Verified Implementation and other Formal Methods
or “Clare”, if you find that’s easier to pronounce!
Official Haskell IDE support via the language server protocol (LSP)
Building A Correct-By-Construction Proof Checkers For Type Theories
Contextual types meet mechanized metatheory!
Implementation for the book <Implementing functional languages: a tutorial>