Scott Richmond scott
0 Followers · 3 Following
  • Joined on 2023-07-29
Repositories
5
 Projects Packages Public Activity Starred Repositories
scott pushed to main at scott/cin1101s24 2024-01-03 02:23:20 +00:00
eee7cb71bc Remove justfile
scott pushed to main at scott/cin1101s24 2024-01-03 02:22:52 +00:00
327adb937d Update TOC, fix typos
scott pushed to main at scott/cin1101s24 2024-01-03 02:20:15 +00:00
7e40bbeaa7 Check spelling
scott pushed to main at scott/cin1101s24 2024-01-03 02:07:52 +00:00
e685f4bbc9 Add dates to weeks
scott pushed to main at scott/cin1101s24 2024-01-03 02:04:21 +00:00
7d19f88db9 Update TOC
scott pushed to main at scott/cin1101s24 2024-01-03 02:03:09 +00:00
292fe67908 Add links
scott pushed to main at scott/cin1101s24 2024-01-03 02:01:42 +00:00
6bb4d9bbbe Add TOC
scott pushed to main at scott/cin1101s24 2024-01-03 01:47:17 +00:00
eed32f806a Unmake a change
scott pushed to main at scott/cin1101s24 2024-01-02 22:08:13 +00:00
f21ab7a78b Start updating syllabus
ffac4a9332 Resolve conflict
395d51d825 Give me a name
5e1e0bfe2c Add covenant from CIN2020s20
Compare 4 commits »
scott pushed to main at scott/cin1101s24 2024-01-02 22:00:38 +00:00
b54a141a98 Add .ignore, README
scott pushed to main at twc/ludus-repl 2023-12-29 00:41:03 +00:00
abc647cb4d Avoid port conflicts
scott pushed to main at twc/ludus-repl 2023-12-29 00:32:25 +00:00
943ca48aba Clean up
scott pushed to main at twc/ludus-repl 2023-12-29 00:29:20 +00:00
248eabc462 Use unix sockets, not TCP sockets
scott pushed to test_harness at twc/ludus 2023-12-27 17:10:04 +00:00
3c5e47f138 Add panic case.
scott pushed to main at twc/ludus 2023-12-27 17:09:44 +00:00
f657da57ef Bump version
scott pushed to main at twc/ludus-repl 2023-12-27 17:07:43 +00:00
8b8b1d5fc0 Update README
scott pushed to main at twc/ludus-repl 2023-12-27 04:43:08 +00:00
4055d42f33 Fix startup time issues
scott opened issue twc/ludus#25 2023-12-27 04:23:58 +00:00
Meta: Gitea max file size for releases?
scott pushed tag 0.1.0-alpha.8 to twc/ludus 2023-12-27 03:50:53 +00:00
scott released Ludus CLI (MacOS ARM64) at twc/ludus 2023-12-27 03:50:53 +00:00