This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
SmartField | |
has default value? | |
yes? -> selected | |
no? -> unknown | |
unknown | |
FOCUS -> selecting unknown | |
# here be popups | |
selecting | |
SELECT -> selected | |
selecting unknown |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
SmartNote | |
UNFOCUS -> blurred | |
FOCUS 1 -> SmartField 1 | |
FOCUS 2 -> SmartField 2 | |
FOCUS 3 -> SmartField 3 | |
blurred | |
FOCUS -> focused | |
focused | |
SmartField 1 | |
SELECT -> SmartField 2 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
SmartTime keyboard 2 | |
default | |
KEY 0 -> digit 0 | |
KEY 1 -> digit 1 | |
KEY 2 -> digit 2 | |
KEY 3-9 -> digit 3-9 | |
digit 0 | |
enter -> t0000 | |
KEY 0-5 -> digit 0 0-5 | |
KEY 6-9 -> hour 06-09 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
SmartTime keyboard 3 | |
# entering the first digit of the hour | |
digit-1 | |
# assume 00:00 | |
ENTER -> complete | |
# first digit can be 0,1 or 2 | |
KEY 0-1 -> digit-2 | |
# 2 is the special case because it can only continue with 0-3 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
SmartMessage for calving-completed & | |
Calves | |
set calves to 1 -> 1 calf | |
set calves to 2 -> 2 calves | |
set calves to 3 -> 3 calves | |
1 calf* | |
2 calves | |
set both -> Both | |
set one-another -> One - another | |
Both |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
QuickThaw UI | |
Login | |
Pending login | |
correct token -> Logged in | |
incorrect token -> Login | |
Login request | |
submit login request -> Manual token | |
Manual token | |
manual token entered -> Pending login |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
CowGrid Cell& | |
Focus state | |
select this cell -> View mode | |
select range ending on this cell -> View mode | |
select range including this cell -> Cursor elsewhere | |
select another cell or range -> Out of selection | |
Out of selection | |
In selection | |
Cursor on cell | |
select this cell -> Edit mode |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
QuickThaw v3 | |
Idle | |
start process -> Process | |
Process | |
Heating | |
heating setpoint -> Loading | |
Loading | |
Ready L | |
button pressed -> Opening L | |
Opening L |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
speller :: [[Char]] -> [Char] | |
speller list = | |
spell (filter ((/=) "") list) | |
spell :: [[Char]] -> [Char] | |
spell [] = [] | |
spell [single] = | |
isFor single | |
spell [first, second] = | |
isFor first ++ " and " ++ isFor second |