diff options
| author | j-james | 2022-11-01 05:30:06 +0000 |
|---|---|---|
| committer | j-james | 2022-11-01 05:30:06 +0000 |
| commit | 8c42f39eea00f61bc473d51dc21c89e4ec37ccb4 (patch) | |
| tree | bb7fcc8b2aa76f8706cc4a01f9c4cca12f66ab8c | |
| parent | 9ef202d7b25d7609b9141cc88f553c2a566cf022 (diff) | |
Update people.json
| -rw-r--r-- | people.json | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/people.json b/people.json index 3652818..481dae1 100644 --- a/people.json +++ b/people.json @@ -595,6 +595,10 @@ { "name": "nim", "link": "./entries/jj/nim/fib.nim" + }, + { + "name": "turing machine", + "link": "./entries/jj/tm/fib.txt" } ] }, |