mirror of
https://github.com/opencloud-eu/opencloud.git
synced 2026-05-01 20:53:05 -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.