We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 34f16e8 commit 7e8829bCopy full SHA for 7e8829b
copilot-core/src/Copilot/Core/Spec.hs
@@ -13,7 +13,7 @@
13
--
14
-- In order to be executed, high-level Copilot Language Spec must be turned
15
-- into Copilot Core's 'Spec'. This module defines the low-level Copilot Core
16
--- representations for Specs and the main types of element in a spec..
+-- representations for Specs and the main types of element in a spec.
17
module Copilot.Core.Spec
18
( Stream (..)
19
, Observer (..)
0 commit comments