Scott Richmond

scott created pull request twc/ludus#20

2023-12-24 20:57:23 +00:00

test-exprs

scott created branch test-exprs in twc/ludus

2023-12-24 20:53:53 +00:00

scott pushed to test-exprs at twc/ludus

2023-12-24 20:53:53 +00:00

b5d57cd96c Testing hits all the desiderata.

b6eeaa1d3e Stand up basic testing

b723532d1a Add testing status to run

Compare 3 commits »

scott commented on issue twc/ludus#10

2023-12-24 19:17:46 +00:00

Repeat might not have to take a block

Closed by #19

scott closed issue twc/ludus#10

2023-12-24 19:17:46 +00:00

Repeat might not have to take a block

scott pushed to main at twc/ludus

2023-12-24 19:17:18 +00:00

8375e19f1e Merge pull request 'expr-repeat' (#19) from expr-repeat into main

7a2c404daf Light testing

7541d2499d Change interpreter (just change name of binding in interpret-repeat

a6d64ff827 Change grammar

Compare 4 commits »

scott merged pull request twc/ludus#19

2023-12-24 19:17:17 +00:00

expr-repeat

scott created pull request twc/ludus#19

2023-12-24 19:17:11 +00:00

expr-repeat

scott created branch expr-repeat in twc/ludus

2023-12-24 19:16:25 +00:00

scott pushed to expr-repeat at twc/ludus

2023-12-24 19:16:25 +00:00

7a2c404daf Light testing

7541d2499d Change interpreter (just change name of binding in interpret-repeat

a6d64ff827 Change grammar

Compare 3 commits »

scott pushed to main at scott/cin1101s24

2023-12-21 00:39:28 +00:00

d68329dee6 Add just merge

25876bd71e Remove arrows.

c3633a2f71 Add a missing newline.

Compare 3 commits »

scott created branch push-rskqootlqvvv in scott/cin1101s24

2023-12-21 00:38:22 +00:00

scott pushed to push-rskqootlqvvv at scott/cin1101s24

2023-12-21 00:38:22 +00:00

25876bd71e Remove arrows.

scott created branch push-xuzlpunyllxy in scott/cin1101s24

2023-12-21 00:37:03 +00:00

scott pushed to push-xuzlpunyllxy at scott/cin1101s24

2023-12-21 00:37:03 +00:00

c3633a2f71 Add a missing newline.

scott created branch main in scott/cin1101s24

2023-12-21 00:34:44 +00:00

scott pushed to main at scott/cin1101s24

2023-12-21 00:34:44 +00:00

scott created branch push-tktrlnkoltmp in scott/cin1101s24

2023-12-21 00:33:41 +00:00

scott pushed to push-tktrlnkoltmp at scott/cin1101s24

2023-12-21 00:33:41 +00:00

67c3576c67 Add a justfile

748335f217 Add covenant from CIN2020s20

Compare 2 commits »

scott created branch push-pmwvntxytrup in scott/cin1101s24

2023-12-21 00:31:02 +00:00