Skip to content

Instantly share code, notes, and snippets.

Mert Torun edgerunner

Block or report user

Report or block edgerunner

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse
View GitHub Profile
View SketchSystems.spec
Wicow Login
Request form
type -> Incomplete
Blank
Incomplete
valid? -> Complete
Complete
request link -> Requesting
Errors
request link -> Requesting
@edgerunner
edgerunner / spelling.hs
Last active Oct 17, 2019
Spelling book generator
View spelling.hs
speller :: [[Char]] -> [Char]
speller list =
spell (filter ((/=) "") list)
spell :: [[Char]] -> [Char]
spell [] = []
spell [single] =
isFor single
spell [first, second] =
isFor first ++ " and " ++ isFor second
View SketchSystems.spec
QuickThaw v3
Idle
start process -> Process
Process
Heating
heating setpoint -> Loading
Loading
Ready L
button pressed -> Opening L
Opening L
View SketchSystems.spec
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
View SketchSystems.spec
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
@edgerunner
edgerunner / SketchSystems.spec
Last active Oct 22, 2019
SmartMessage for calving-completed &
View SketchSystems.spec
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
@edgerunner
edgerunner / SketchSystems.spec
Last active Oct 21, 2019
SmartTime keyboard 3
View SketchSystems.spec
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
@edgerunner
edgerunner / SketchSystems.spec
Last active Apr 30, 2019
SmartTime keyboard 2
View SketchSystems.spec
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
View SketchSystems.spec
SmartNote
UNFOCUS -> blurred
FOCUS 1 -> SmartField 1
FOCUS 2 -> SmartField 2
FOCUS 3 -> SmartField 3
blurred
FOCUS -> focused
focused
SmartField 1
SELECT -> SmartField 2
You can’t perform that action at this time.