forked from angmavrogiannis/Cook2LTL
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathprompt.txt
54 lines (36 loc) · 777 Bytes
/
prompt.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
def cook(pasta: what):
# put water in the pot
put(water, pot)
# pick up pot
pick up(pot)
# put pot on stovetop
put(pot, stovetop)
# turn on stovetop
turn on(stovetop)
# wait until the water boils
wait(water==boiled)
# pick up the pasta
pick up(pasta)
# put the pasta in the pot
put(pasta, pot)
# wait
wait(pasta==ready)
# turn off stovetop
turn off(stovetop)
def bake(cake: what, oven: where, 30 minutes: time):
# pick up the cake
pick up(cake)
# put the cake on the baking pan
put(cake, baking pan)
# open the oven
open(oven)
# put the baking pan in the oven
put(baking pan, oven)
# close the oven
close(oven)
# turn on the oven
turn on(oven)
# wait for 30 minutes
wait(timer==30 minutes)
# turn off the oven
turn off(oven)