mirror of
https://github.com/opencloud-eu/opencloud.git
synced 2026-05-01 12:43:08 -04:00
Stephen Kleene is a proper noun, so "Kleene star" / "Kleene closure" is the correct spelling.
Stephen Kleene is a proper noun, so "Kleene star" / "Kleene closure" is the correct spelling.