mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-05-16 14:42:50 -06:00
completed book examples
This commit is contained in:
@@ -18,8 +18,8 @@ lin
|
||||
Fan = mkCN (mkN "fan") ;
|
||||
Switchable, Dimmable = <> ;
|
||||
|
||||
SwitchOn = mkV2 (mkV "on" (mkV "switch")) ;
|
||||
SwitchOff = mkV2 (mkV "off" (mkV "switch")) ;
|
||||
SwitchOn = mkV2 (partV (mkV "switch") "on") ;
|
||||
SwitchOff = mkV2 (partV (mkV "switch") "off") ;
|
||||
Dim = mkV2 (mkV "dim") ;
|
||||
|
||||
switchable_Light = <> ;
|
||||
|
||||
Reference in New Issue
Block a user