suzanne.soy/cur
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Proof read sartactics. closes #17

Browse Source
This commit is contained in:
William J. Bowman 2015-09-25 13:54:42 -04:00
parent 1261ef2b73
commit 1fd96f0140
No known key found for this signature in database
GPG Key ID: DDD48D26958F0D1A
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
stdlib/tactics/sartactics.rkt
View File

@ -52,7 +52,7 @@
(list (list
"Hahahahahahahaha." "Hahahahahahahaha."
"Lawl." "Lawl."
"Why don't you just do it right the first time?" "Why didn't you just do it right the first time?"
"Stupid human." "Stupid human."
"I've been waiting for this."))) "I've been waiting for this.")))
(define-tactic (restart ps) (define-tactic (restart ps)
@ -88,10 +88,10 @@
(define no-quit-jabs (define no-quit-jabs
(list (list
"Na." "Na."
"How about instead I just delete all your work?" "How about instead I just delete all of your work?"
"I don't think you're ready yet."))) "I don't think you're ready yet.")))
(define-tactic (interactive ps) (define-tactic (interactive ps)
(printf "Starting interactive tactic session. Prepared to be sassed:~n") (printf "Starting interactive tactic session. Prepare to be sassed:~n")
(printf "Type (quit) to quit.~n") (printf "Type (quit) to quit.~n")
(let loop ([ps ps] [cmds '()]) (let loop ([ps ps] [cmds '()])
(if (proof-state-proof-complete? ps) (if (proof-state-proof-complete? ps)