Grammar issue

[DigitalBrains1]

clash-formal.org/content/_index.md

Line 7 in 33d718a

__Clash Formal__ is part of the [Ecosystem formally verifiable IT (EvIT)](https://www.cyberagentur.de/oevit/), a research mission for the integration of formal verification capabilities across all levels of the hardware / software stacks being present in basically all IT devices we use today. To this end, the Clash Formal project aims at leveraging the power of functional languages for the precise description of hardware and software functionality in combination with their type systems for capturing non-functional security and safety requirements.

To this end, the Clash Formal project aims at leveraging the power of functional languages for the precise description of hardware and software functionality in combination with their type systems for capturing non-functional security and safety requirements.

(emphasis mine)

What the word "their" refers to is unclear. It seems to refer to "functionality", but functionality as a concept does not have a type system. They would also not agree on grammatical number.

Per #1 (comment) Felix would like another go at phrasing this, and this issue has been created to track it.