)]}'
{"id":"depot~6988","triplet_id":"depot~canon~I69261202a3d74d55c6e38763d7ddfec73c392465","project":"depot","branch":"canon","attention_set":{},"removed_from_attention_set":{"1000045":{"account":{"_account_id":1000045,"name":"wpcarro","email":"wpcarro@gmail.com","username":"wpcarro"},"last_update":"2022-10-24 17:42:38.000000000","reason":"removed on reply"}},"hashtags":[],"change_id":"I69261202a3d74d55c6e38763d7ddfec73c392465","subject":"feat(wpcarro/scratch): Implement \"Algorithm W\"","status":"MERGED","created":"2022-10-12 17:25:46.000000000","updated":"2022-10-24 17:42:43.000000000","submitted":"2022-10-24 17:42:43.000000000","submitter":{"_account_id":1000045,"name":"wpcarro","email":"wpcarro@gmail.com","username":"wpcarro"},"total_comment_count":0,"unresolved_comment_count":0,"has_review_started":true,"submission_id":"6988","meta_rev_id":"128016c1be596d778740955ca47129ef16b9c9ea","_number":6988,"virtual_id_number":6988,"owner":{"_account_id":1000045,"name":"wpcarro","email":"wpcarro@gmail.com","username":"wpcarro"},"actions":{},"labels":{"Code-Review":{"approved":{"_account_id":1000045,"name":"wpcarro","email":"wpcarro@gmail.com","username":"wpcarro"},"all":[{"value":0,"_account_id":1000014,"name":"BuildkiteCI","username":"buildkite","tags":["SERVICE_USER"]},{"tag":"autogenerated:gerrit:merged","value":2,"date":"2022-10-24 17:42:43.000000000","permitted_voting_range":{"min":2,"max":2},"_account_id":1000045,"name":"wpcarro","email":"wpcarro@gmail.com","username":"wpcarro"}],"values":{"-2":"This shall not be merged","-1":"I would prefer this is not merged as is"," 0":"No score","+1":"Looks good to me, but someone else must approve","+2":"Looks good to me, approved"},"description":"","default_value":0},"Verified":{"approved":{"_account_id":1000014,"name":"BuildkiteCI","username":"buildkite","tags":["SERVICE_USER"]},"all":[{"tag":"autogenerated:gerrit:merged","value":1,"date":"2022-10-24 17:42:43.000000000","permitted_voting_range":{"min":1,"max":1},"_account_id":1000014,"name":"BuildkiteCI","username":"buildkite","tags":["SERVICE_USER"]},{"value":0,"_account_id":1000045,"name":"wpcarro","email":"wpcarro@gmail.com","username":"wpcarro"}],"values":{"-1":"Fails"," 0":"No score","+1":"Verified"},"description":"","default_value":0},"Autosubmit":{"approved":{"_account_id":1000045,"name":"wpcarro","email":"wpcarro@gmail.com","username":"wpcarro"},"all":[{"value":0,"_account_id":1000014,"name":"BuildkiteCI","username":"buildkite","tags":["SERVICE_USER"]},{"tag":"autogenerated:gerrit:merged","value":1,"date":"2022-10-24 17:42:43.000000000","_account_id":1000045,"name":"wpcarro","email":"wpcarro@gmail.com","username":"wpcarro"}],"values":{" 0":"Submit manually","+1":"Submit automatically"},"description":"","default_value":0,"optional":true},"All-Comments-Resolved":{"approved":{"_account_id":1000045,"name":"wpcarro","email":"wpcarro@gmail.com","username":"wpcarro"},"all":[{"value":0,"_account_id":1000014,"name":"BuildkiteCI","username":"buildkite","tags":["SERVICE_USER"]},{"value":0,"_account_id":1000045,"name":"wpcarro","email":"wpcarro@gmail.com","username":"wpcarro"}]},"Conformant-Commit-Message":{"approved":{"_account_id":1000045,"name":"wpcarro","email":"wpcarro@gmail.com","username":"wpcarro"},"all":[{"value":0,"_account_id":1000014,"name":"BuildkiteCI","username":"buildkite","tags":["SERVICE_USER"]},{"value":0,"_account_id":1000045,"name":"wpcarro","email":"wpcarro@gmail.com","username":"wpcarro"}]}},"removable_reviewers":[],"reviewers":{"REVIEWER":[{"_account_id":1000014,"name":"BuildkiteCI","username":"buildkite","tags":["SERVICE_USER"]},{"_account_id":1000045,"name":"wpcarro","email":"wpcarro@gmail.com","username":"wpcarro"}]},"pending_reviewers":{},"reviewer_updates":[{"updated":"2022-10-12 17:25:48.000000000","updated_by":{"_account_id":1000014,"name":"BuildkiteCI","username":"buildkite","tags":["SERVICE_USER"]},"reviewer":{"_account_id":1000014,"name":"BuildkiteCI","username":"buildkite","tags":["SERVICE_USER"]},"state":"CC"},{"updated":"2022-10-12 17:27:30.000000000","updated_by":{"_account_id":1000014,"name":"BuildkiteCI","username":"buildkite","tags":["SERVICE_USER"]},"reviewer":{"_account_id":1000014,"name":"BuildkiteCI","username":"buildkite","tags":["SERVICE_USER"]},"state":"REVIEWER"}],"messages":[{"id":"5041f265baf842c9f7eaf95e39b481a6fa041ef1","tag":"autogenerated:gerrit:newPatchSet","author":{"_account_id":1000045,"name":"wpcarro","email":"wpcarro@gmail.com","username":"wpcarro"},"date":"2022-10-12 17:25:46.000000000","message":"Uploaded patch set 1: Autosubmit+1 Code-Review+2.","accounts_in_message":[],"_revision_number":1},{"id":"9951232cb4f521b73ad4c23333f7e86081d11867","tag":"autogenerated:buildkite~trigger","author":{"_account_id":1000014,"name":"BuildkiteCI","username":"buildkite","tags":["SERVICE_USER"]},"date":"2022-10-12 17:25:48.000000000","message":"Patch Set 1:\n\nStarted build for patchset #1 on: https://buildkite.com/tvl/depot/builds/17459","accounts_in_message":[],"_revision_number":1},{"id":"bfba1ea9ffda63be68d963886cbc5190285e4aca","tag":"autogenerated:buildkite~result","author":{"_account_id":1000014,"name":"BuildkiteCI","username":"buildkite","tags":["SERVICE_USER"]},"date":"2022-10-12 17:27:30.000000000","message":"Patch Set 1: Verified+1\n\nBuild of patchset 1 passed: https://buildkite.com/tvl/depot/builds/17459","accounts_in_message":[],"_revision_number":1},{"id":"c40ef09f77e192353db032b951c705d3f88088cd","tag":"autogenerated:gerrit:newPatchSet","author":{"_account_id":1000045,"name":"wpcarro","email":"wpcarro@gmail.com","username":"wpcarro"},"date":"2022-10-12 20:17:14.000000000","message":"Uploaded patch set 2.","accounts_in_message":[],"_revision_number":2},{"id":"dff06a44bba2a5a5aa5c620e39005b983700c7a2","tag":"autogenerated:buildkite~trigger","author":{"_account_id":1000014,"name":"BuildkiteCI","username":"buildkite","tags":["SERVICE_USER"]},"date":"2022-10-12 20:17:15.000000000","message":"Patch Set 2:\n\nStarted build for patchset #2 on: https://buildkite.com/tvl/depot/builds/17460","accounts_in_message":[],"_revision_number":2},{"id":"e9f6d854fbe70eeae12d433be2148b0ed0a995f8","tag":"autogenerated:buildkite~result","author":{"_account_id":1000014,"name":"BuildkiteCI","username":"buildkite","tags":["SERVICE_USER"]},"date":"2022-10-12 20:19:28.000000000","message":"Patch Set 2: Verified+1\n\nBuild of patchset 2 passed: https://buildkite.com/tvl/depot/builds/17460","accounts_in_message":[],"_revision_number":2},{"id":"6553fe5bd04b5e50cf66921fdeeefec67b56bc64","tag":"autogenerated:gerrit:newPatchSet","author":{"_account_id":1000045,"name":"wpcarro","email":"wpcarro@gmail.com","username":"wpcarro"},"date":"2022-10-13 02:50:41.000000000","message":"Uploaded patch set 3.","accounts_in_message":[],"_revision_number":3},{"id":"327d0cf8171f62f6bb62e74ad897a1cababe805e","tag":"autogenerated:buildkite~trigger","author":{"_account_id":1000014,"name":"BuildkiteCI","username":"buildkite","tags":["SERVICE_USER"]},"date":"2022-10-13 02:50:42.000000000","message":"Patch Set 3:\n\nStarted build for patchset #3 on: https://buildkite.com/tvl/depot/builds/17468","accounts_in_message":[],"_revision_number":3},{"id":"377699712e8a4446db39113157e26177edbc0522","tag":"autogenerated:buildkite~result","author":{"_account_id":1000014,"name":"BuildkiteCI","username":"buildkite","tags":["SERVICE_USER"]},"date":"2022-10-13 02:52:26.000000000","message":"Patch Set 3: Verified-1\n\nBuild of patchset 3 failed: https://buildkite.com/tvl/depot/builds/17468","accounts_in_message":[],"_revision_number":3},{"id":"4c53e083d59fddba29bd8eb79ef7e29f46d75fec","tag":"autogenerated:gerrit:newPatchSet","author":{"_account_id":1000045,"name":"wpcarro","email":"wpcarro@gmail.com","username":"wpcarro"},"date":"2022-10-16 02:41:55.000000000","message":"Uploaded patch set 4.","accounts_in_message":[],"_revision_number":4},{"id":"aa09bbdeafe9972b53c2add361670ffe1c6f2169","tag":"autogenerated:buildkite~trigger","author":{"_account_id":1000014,"name":"BuildkiteCI","username":"buildkite","tags":["SERVICE_USER"]},"date":"2022-10-16 02:41:56.000000000","message":"Patch Set 4:\n\nStarted build for patchset #4 on: https://buildkite.com/tvl/depot/builds/17590","accounts_in_message":[],"_revision_number":4},{"id":"23c96236d335274d1a999d4057a02b8a90cd9761","tag":"autogenerated:buildkite~result","author":{"_account_id":1000014,"name":"BuildkiteCI","username":"buildkite","tags":["SERVICE_USER"]},"date":"2022-10-16 02:43:31.000000000","message":"Patch Set 4: Verified-1\n\nBuild of patchset 4 failed: https://buildkite.com/tvl/depot/builds/17590","accounts_in_message":[],"_revision_number":4},{"id":"66eb9efd56c8b1ea33af6ba645f58a695f3c8f07","tag":"autogenerated:gerrit:newPatchSet","author":{"_account_id":1000045,"name":"wpcarro","email":"wpcarro@gmail.com","username":"wpcarro"},"date":"2022-10-17 01:49:14.000000000","message":"Uploaded patch set 5.","accounts_in_message":[],"_revision_number":5},{"id":"0023cf495e4e3449b2a8669885bf2db0ccfc6a08","tag":"autogenerated:buildkite~trigger","author":{"_account_id":1000014,"name":"BuildkiteCI","username":"buildkite","tags":["SERVICE_USER"]},"date":"2022-10-17 01:49:14.000000000","message":"Patch Set 5:\n\nStarted build for patchset #5 on: https://buildkite.com/tvl/depot/builds/17624","accounts_in_message":[],"_revision_number":5},{"id":"3b6819c9a4548cbc671dc49acf2946509b345be3","tag":"autogenerated:buildkite~result","author":{"_account_id":1000014,"name":"BuildkiteCI","username":"buildkite","tags":["SERVICE_USER"]},"date":"2022-10-17 01:50:49.000000000","message":"Patch Set 5: Verified-1\n\nBuild of patchset 5 failed: https://buildkite.com/tvl/depot/builds/17624","accounts_in_message":[],"_revision_number":5},{"id":"f632d46de08d91c46fe7ab8a50a14ee4e0959ca5","tag":"autogenerated:gerrit:newPatchSet","author":{"_account_id":1000045,"name":"wpcarro","email":"wpcarro@gmail.com","username":"wpcarro"},"date":"2022-10-17 03:17:20.000000000","message":"Uploaded patch set 6.","accounts_in_message":[],"_revision_number":6},{"id":"538147dc10a61f786e027783c8ff107dd3a1a85e","tag":"autogenerated:buildkite~trigger","author":{"_account_id":1000014,"name":"BuildkiteCI","username":"buildkite","tags":["SERVICE_USER"]},"date":"2022-10-17 03:17:21.000000000","message":"Patch Set 6:\n\nStarted build for patchset #6 on: https://buildkite.com/tvl/depot/builds/17625","accounts_in_message":[],"_revision_number":6},{"id":"0ee015771aeec5fe944b2e43bf74f2c5f6f138e2","tag":"autogenerated:buildkite~result","author":{"_account_id":1000014,"name":"BuildkiteCI","username":"buildkite","tags":["SERVICE_USER"]},"date":"2022-10-17 03:18:55.000000000","message":"Patch Set 6: Verified-1\n\nBuild of patchset 6 failed: https://buildkite.com/tvl/depot/builds/17625","accounts_in_message":[],"_revision_number":6},{"id":"63dbc4ec1ba6dacafc3bdabd180ab4c7db8184ac","tag":"autogenerated:gerrit:newPatchSet","author":{"_account_id":1000045,"name":"wpcarro","email":"wpcarro@gmail.com","username":"wpcarro"},"date":"2022-10-23 21:39:44.000000000","message":"Uploaded patch set 7.","accounts_in_message":[],"_revision_number":7},{"id":"8e526fc634f1262c9151c5dd131809c28437c381","tag":"autogenerated:buildkite~trigger","author":{"_account_id":1000014,"name":"BuildkiteCI","username":"buildkite","tags":["SERVICE_USER"]},"date":"2022-10-23 21:39:44.000000000","message":"Patch Set 7:\n\nStarted build for patchset #7 on: https://buildkite.com/tvl/depot/builds/17836","accounts_in_message":[],"_revision_number":7},{"id":"a75c38517ccf0f20ab87bd78b784b3873343a8c0","tag":"autogenerated:buildkite~result","author":{"_account_id":1000014,"name":"BuildkiteCI","username":"buildkite","tags":["SERVICE_USER"]},"date":"2022-10-23 21:41:20.000000000","message":"Patch Set 7: Verified-1\n\nBuild of patchset 7 failed: https://buildkite.com/tvl/depot/builds/17836","accounts_in_message":[],"_revision_number":7},{"id":"a8cd1259d81dcb785f07ebf3c8ee9976ac302ca0","tag":"autogenerated:gerrit:newPatchSet","author":{"_account_id":1000045,"name":"wpcarro","email":"wpcarro@gmail.com","username":"wpcarro"},"date":"2022-10-24 14:47:37.000000000","message":"Uploaded patch set 8.","accounts_in_message":[],"_revision_number":8},{"id":"8683b3036bb4a82754431eee7c91ad392c196d14","tag":"autogenerated:buildkite~trigger","author":{"_account_id":1000014,"name":"BuildkiteCI","username":"buildkite","tags":["SERVICE_USER"]},"date":"2022-10-24 14:47:38.000000000","message":"Patch Set 8:\n\nStarted build for patchset #8 on: https://buildkite.com/tvl/depot/builds/17855","accounts_in_message":[],"_revision_number":8},{"id":"d77de2a25d2482cfc8fc2d4b739f096178c9fb44","tag":"autogenerated:buildkite~result","author":{"_account_id":1000014,"name":"BuildkiteCI","username":"buildkite","tags":["SERVICE_USER"]},"date":"2022-10-24 14:49:15.000000000","message":"Patch Set 8: Verified-1\n\nBuild of patchset 8 failed: https://buildkite.com/tvl/depot/builds/17855","accounts_in_message":[],"_revision_number":8},{"id":"52cfe725f5995245c28f99e504382caf849f727b","tag":"autogenerated:gerrit:newPatchSet","author":{"_account_id":1000045,"name":"wpcarro","email":"wpcarro@gmail.com","username":"wpcarro"},"date":"2022-10-24 14:50:18.000000000","message":"Uploaded patch set 9.","accounts_in_message":[],"_revision_number":9},{"id":"2112be64d61aa01983e009bfa46404b67140a95e","tag":"autogenerated:buildkite~trigger","author":{"_account_id":1000014,"name":"BuildkiteCI","username":"buildkite","tags":["SERVICE_USER"]},"date":"2022-10-24 14:50:19.000000000","message":"Patch Set 9:\n\nStarted build for patchset #9 on: https://buildkite.com/tvl/depot/builds/17856","accounts_in_message":[],"_revision_number":9},{"id":"3cf5999032e19cd2faf11d56cacc8a6ccee05c7f","tag":"autogenerated:buildkite~result","author":{"_account_id":1000014,"name":"BuildkiteCI","username":"buildkite","tags":["SERVICE_USER"]},"date":"2022-10-24 14:51:55.000000000","message":"Patch Set 9: Verified-1\n\nBuild of patchset 9 failed: https://buildkite.com/tvl/depot/builds/17856","accounts_in_message":[],"_revision_number":9},{"id":"60b0f21518d88bfa02c3dd8d9f8552ad75d0a88b","tag":"autogenerated:gerrit:newPatchSet","author":{"_account_id":1000045,"name":"wpcarro","email":"wpcarro@gmail.com","username":"wpcarro"},"date":"2022-10-24 17:39:25.000000000","message":"Uploaded patch set 10.","accounts_in_message":[],"_revision_number":10},{"id":"089e19c19786d7451ba5cc988bdbbdb105de1910","tag":"autogenerated:buildkite~trigger","author":{"_account_id":1000014,"name":"BuildkiteCI","username":"buildkite","tags":["SERVICE_USER"]},"date":"2022-10-24 17:39:26.000000000","message":"Patch Set 10:\n\nStarted build for patchset #10 on: https://buildkite.com/tvl/depot/builds/17857","accounts_in_message":[],"_revision_number":10},{"id":"6a45bd4587f992684c664cde284d81993d67d7e0","tag":"autogenerated:buildkite~result","author":{"_account_id":1000014,"name":"BuildkiteCI","username":"buildkite","tags":["SERVICE_USER"]},"date":"2022-10-24 17:41:21.000000000","message":"Patch Set 10: Verified+1\n\nBuild of patchset 10 passed: https://buildkite.com/tvl/depot/builds/17857","accounts_in_message":[],"_revision_number":10},{"id":"c8747ecd570bff70477e12188e89c57fbda6f73d","author":{"_account_id":1000045,"name":"wpcarro","email":"wpcarro@gmail.com","username":"wpcarro"},"date":"2022-10-24 17:42:38.000000000","message":"Patch Set 10: Autosubmit+1 Code-Review+2\n\nBy voting Code-Review+2 the following files are now explicitly code-owner approved by \u003cGERRIT_ACCOUNT_1000045\u003e:\n* users/wpcarro/scratch/compiler/.gitignore\n* users/wpcarro/scratch/compiler/expr_parser.ml\n* users/wpcarro/scratch/compiler/inference.ml\n* users/wpcarro/scratch/compiler/parser.ml\n* users/wpcarro/scratch/compiler/tests.ml\n* users/wpcarro/scratch/compiler/type_parser.ml\n* users/wpcarro/scratch/compiler/types.ml\n","accounts_in_message":[{"_account_id":1000045,"name":"wpcarro","email":"wpcarro@gmail.com","username":"wpcarro"}],"_revision_number":10},{"id":"128016c1be596d778740955ca47129ef16b9c9ea","tag":"autogenerated:gerrit:merged","author":{"_account_id":1000045,"name":"wpcarro","email":"wpcarro@gmail.com","username":"wpcarro"},"date":"2022-10-24 17:42:43.000000000","message":"Change has been successfully rebased and submitted as a8876a4cdaaf0a1f051fefad436e08d983b402e2","accounts_in_message":[],"_revision_number":11}],"current_revision_number":11,"current_revision":"a8876a4cdaaf0a1f051fefad436e08d983b402e2","revisions":{"6a2ee2cc1e60b081e60167c0ad592883dd55c775":{"kind":"REWORK","_number":1,"created":"2022-10-12 17:25:46.000000000","uploader":{"_account_id":1000045,"name":"wpcarro","email":"wpcarro@gmail.com","username":"wpcarro"},"ref":"refs/changes/88/6988/1","fetch":{"anonymous http":{"url":"https://cl.tvl.fyi/depot","ref":"refs/changes/88/6988/1","commands":{"Checkout":"git fetch https://cl.tvl.fyi/depot refs/changes/88/6988/1 \u0026\u0026 git checkout FETCH_HEAD","Cherry Pick":"git fetch https://cl.tvl.fyi/depot refs/changes/88/6988/1 \u0026\u0026 git cherry-pick FETCH_HEAD","Format Patch":"git fetch https://cl.tvl.fyi/depot refs/changes/88/6988/1 \u0026\u0026 git format-patch -1 --stdout FETCH_HEAD","Pull":"git pull https://cl.tvl.fyi/depot refs/changes/88/6988/1"}}},"commit":{"parents":[{"commit":"7c99e9e8e300e10e8c81856fa9a094ce22876f8d","subject":"docs(nixery): replace the Nixery mdBook with a simple web page","web_links":[{"name":"cgit","tooltip":"Open in GitWeb","url":"https://code.tvl.fyi/commit/?id\u003d7c99e9e8e300e10e8c81856fa9a094ce22876f8d"}]}],"author":{"name":"William Carroll","email":"wpcarro@gmail.com","date":"2022-10-12 17:22:58.000000000","tz":-420},"committer":{"name":"William Carroll","email":"wpcarro@gmail.com","date":"2022-10-12 17:25:40.000000000","tz":-420},"subject":"wip(wpcarro): Implement \"Algorithm W\"","message":"wip(wpcarro): Implement \"Algorithm W\"\n\nI\u0027ve been wanting to grok Haskell-style type inference for awhile, so instead of\njust watching conference talks and reading papers about it, I\u0027ve decided to\nattempt to implement it to more readily test my understanding of it.\n\nChange-Id: I69261202a3d74d55c6e38763d7ddfec73c392465\n","web_links":[{"name":"cgit","tooltip":"Open in GitWeb","url":"https://code.tvl.fyi/commit/?id\u003d6a2ee2cc1e60b081e60167c0ad592883dd55c775"}],"resolve_conflicts_web_links":[{"name":"cgit","tooltip":"Open in GitWeb","url":"https://code.tvl.fyi/commit/?id\u003d6a2ee2cc1e60b081e60167c0ad592883dd55c775"}]},"parents_data":[{"branch_name":"refs/heads/canon","commit_id":"7c99e9e8e300e10e8c81856fa9a094ce22876f8d","is_merged_in_target_branch":true,"change_id":"I20e1d58f1e6608377207e80345c169f7d92d3847","change_number":6930,"patch_set_number":3,"change_status":"MERGED"}],"branch":"refs/heads/canon"},"bce9c2d0f0a51241423ad473ddb0dee5fc74b485":{"kind":"REWORK","_number":2,"created":"2022-10-12 20:17:14.000000000","uploader":{"_account_id":1000045,"name":"wpcarro","email":"wpcarro@gmail.com","username":"wpcarro"},"ref":"refs/changes/88/6988/2","fetch":{"anonymous http":{"url":"https://cl.tvl.fyi/depot","ref":"refs/changes/88/6988/2","commands":{"Checkout":"git fetch https://cl.tvl.fyi/depot refs/changes/88/6988/2 \u0026\u0026 git checkout FETCH_HEAD","Cherry Pick":"git fetch https://cl.tvl.fyi/depot refs/changes/88/6988/2 \u0026\u0026 git cherry-pick FETCH_HEAD","Format Patch":"git fetch https://cl.tvl.fyi/depot refs/changes/88/6988/2 \u0026\u0026 git format-patch -1 --stdout FETCH_HEAD","Pull":"git pull https://cl.tvl.fyi/depot refs/changes/88/6988/2"}}},"commit":{"parents":[{"commit":"7c99e9e8e300e10e8c81856fa9a094ce22876f8d","subject":"docs(nixery): replace the Nixery mdBook with a simple web page","web_links":[{"name":"cgit","tooltip":"Open in GitWeb","url":"https://code.tvl.fyi/commit/?id\u003d7c99e9e8e300e10e8c81856fa9a094ce22876f8d"}]}],"author":{"name":"William Carroll","email":"wpcarro@gmail.com","date":"2022-10-12 17:22:58.000000000","tz":-420},"committer":{"name":"William Carroll","email":"wpcarro@gmail.com","date":"2022-10-12 20:16:42.000000000","tz":-420},"subject":"wip(wpcarro): Implement \"Algorithm W\"","message":"wip(wpcarro): Implement \"Algorithm W\"\n\nI\u0027ve been wanting to grok Haskell-style type inference for awhile, so instead of\njust watching conference talks and reading papers about it, I\u0027ve decided to\nattempt to implement it to more readily test my understanding of it.\n\nSee \"Wish List\" section of the moduledoc for the current state of the project.\n\nChange-Id: I69261202a3d74d55c6e38763d7ddfec73c392465\n","web_links":[{"name":"cgit","tooltip":"Open in GitWeb","url":"https://code.tvl.fyi/commit/?id\u003dbce9c2d0f0a51241423ad473ddb0dee5fc74b485"}],"resolve_conflicts_web_links":[{"name":"cgit","tooltip":"Open in GitWeb","url":"https://code.tvl.fyi/commit/?id\u003dbce9c2d0f0a51241423ad473ddb0dee5fc74b485"}]},"parents_data":[{"branch_name":"refs/heads/canon","commit_id":"7c99e9e8e300e10e8c81856fa9a094ce22876f8d","is_merged_in_target_branch":true,"change_id":"I20e1d58f1e6608377207e80345c169f7d92d3847","change_number":6930,"patch_set_number":3,"change_status":"MERGED"}],"branch":"refs/heads/canon"},"0d63b4f17f55aa5804673325cd3d12f4c54c187e":{"kind":"REWORK","_number":3,"created":"2022-10-13 02:50:41.000000000","uploader":{"_account_id":1000045,"name":"wpcarro","email":"wpcarro@gmail.com","username":"wpcarro"},"ref":"refs/changes/88/6988/3","fetch":{"anonymous http":{"url":"https://cl.tvl.fyi/depot","ref":"refs/changes/88/6988/3","commands":{"Checkout":"git fetch https://cl.tvl.fyi/depot refs/changes/88/6988/3 \u0026\u0026 git checkout FETCH_HEAD","Cherry Pick":"git fetch https://cl.tvl.fyi/depot refs/changes/88/6988/3 \u0026\u0026 git cherry-pick FETCH_HEAD","Format Patch":"git fetch https://cl.tvl.fyi/depot refs/changes/88/6988/3 \u0026\u0026 git format-patch -1 --stdout FETCH_HEAD","Pull":"git pull https://cl.tvl.fyi/depot refs/changes/88/6988/3"}}},"commit":{"parents":[{"commit":"7c99e9e8e300e10e8c81856fa9a094ce22876f8d","subject":"docs(nixery): replace the Nixery mdBook with a simple web page","web_links":[{"name":"cgit","tooltip":"Open in GitWeb","url":"https://code.tvl.fyi/commit/?id\u003d7c99e9e8e300e10e8c81856fa9a094ce22876f8d"}]}],"author":{"name":"William Carroll","email":"wpcarro@gmail.com","date":"2022-10-12 17:22:58.000000000","tz":-420},"committer":{"name":"William Carroll","email":"wpcarro@gmail.com","date":"2022-10-13 02:50:37.000000000","tz":-420},"subject":"wip(wpcarro): Implement \"Algorithm W\"","message":"wip(wpcarro): Implement \"Algorithm W\"\n\nI\u0027ve been wanting to grok Haskell-style type inference for awhile, so instead of\njust watching conference talks and reading papers about it, I\u0027ve decided to\nattempt to implement it to more readily test my understanding of it.\n\nSee \"Wish List\" section of the moduledoc for the current state of the project.\n\nChange-Id: I69261202a3d74d55c6e38763d7ddfec73c392465\n","web_links":[{"name":"cgit","tooltip":"Open in GitWeb","url":"https://code.tvl.fyi/commit/?id\u003d0d63b4f17f55aa5804673325cd3d12f4c54c187e"}],"resolve_conflicts_web_links":[{"name":"cgit","tooltip":"Open in GitWeb","url":"https://code.tvl.fyi/commit/?id\u003d0d63b4f17f55aa5804673325cd3d12f4c54c187e"}]},"parents_data":[{"branch_name":"refs/heads/canon","commit_id":"7c99e9e8e300e10e8c81856fa9a094ce22876f8d","is_merged_in_target_branch":true,"change_id":"I20e1d58f1e6608377207e80345c169f7d92d3847","change_number":6930,"patch_set_number":3,"change_status":"MERGED"}],"branch":"refs/heads/canon"},"700b952d7bed57a729f059e9fdcb69b7efaa14a2":{"kind":"REWORK","_number":4,"created":"2022-10-16 02:41:55.000000000","uploader":{"_account_id":1000045,"name":"wpcarro","email":"wpcarro@gmail.com","username":"wpcarro"},"ref":"refs/changes/88/6988/4","fetch":{"anonymous http":{"url":"https://cl.tvl.fyi/depot","ref":"refs/changes/88/6988/4","commands":{"Checkout":"git fetch https://cl.tvl.fyi/depot refs/changes/88/6988/4 \u0026\u0026 git checkout FETCH_HEAD","Cherry Pick":"git fetch https://cl.tvl.fyi/depot refs/changes/88/6988/4 \u0026\u0026 git cherry-pick FETCH_HEAD","Format Patch":"git fetch https://cl.tvl.fyi/depot refs/changes/88/6988/4 \u0026\u0026 git format-patch -1 --stdout FETCH_HEAD","Pull":"git pull https://cl.tvl.fyi/depot refs/changes/88/6988/4"}}},"commit":{"parents":[{"commit":"7c99e9e8e300e10e8c81856fa9a094ce22876f8d","subject":"docs(nixery): replace the Nixery mdBook with a simple web page","web_links":[{"name":"cgit","tooltip":"Open in GitWeb","url":"https://code.tvl.fyi/commit/?id\u003d7c99e9e8e300e10e8c81856fa9a094ce22876f8d"}]}],"author":{"name":"William Carroll","email":"wpcarro@gmail.com","date":"2022-10-12 17:22:58.000000000","tz":-420},"committer":{"name":"William Carroll","email":"wpcarro@gmail.com","date":"2022-10-16 02:41:44.000000000","tz":-420},"subject":"wip(wpcarro): Implement \"Algorithm W\"","message":"wip(wpcarro): Implement \"Algorithm W\"\n\nI\u0027ve been wanting to grok Haskell-style type inference for awhile, so instead of\njust watching conference talks and reading papers about it, I\u0027ve decided to\nattempt to implement it to more readily test my understanding of it.\n\nSee \"Wish List\" section of the moduledoc for the current state of the project.\n\nChange-Id: I69261202a3d74d55c6e38763d7ddfec73c392465\n","web_links":[{"name":"cgit","tooltip":"Open in GitWeb","url":"https://code.tvl.fyi/commit/?id\u003d700b952d7bed57a729f059e9fdcb69b7efaa14a2"}],"resolve_conflicts_web_links":[{"name":"cgit","tooltip":"Open in GitWeb","url":"https://code.tvl.fyi/commit/?id\u003d700b952d7bed57a729f059e9fdcb69b7efaa14a2"}]},"parents_data":[{"branch_name":"refs/heads/canon","commit_id":"7c99e9e8e300e10e8c81856fa9a094ce22876f8d","is_merged_in_target_branch":true,"change_id":"I20e1d58f1e6608377207e80345c169f7d92d3847","change_number":6930,"patch_set_number":3,"change_status":"MERGED"}],"branch":"refs/heads/canon"},"64a54e01b143825b0eb7341e51aca209414f7025":{"kind":"REWORK","_number":5,"created":"2022-10-17 01:49:14.000000000","uploader":{"_account_id":1000045,"name":"wpcarro","email":"wpcarro@gmail.com","username":"wpcarro"},"ref":"refs/changes/88/6988/5","fetch":{"anonymous http":{"url":"https://cl.tvl.fyi/depot","ref":"refs/changes/88/6988/5","commands":{"Checkout":"git fetch https://cl.tvl.fyi/depot refs/changes/88/6988/5 \u0026\u0026 git checkout FETCH_HEAD","Cherry Pick":"git fetch https://cl.tvl.fyi/depot refs/changes/88/6988/5 \u0026\u0026 git cherry-pick FETCH_HEAD","Format Patch":"git fetch https://cl.tvl.fyi/depot refs/changes/88/6988/5 \u0026\u0026 git format-patch -1 --stdout FETCH_HEAD","Pull":"git pull https://cl.tvl.fyi/depot refs/changes/88/6988/5"}}},"commit":{"parents":[{"commit":"7c99e9e8e300e10e8c81856fa9a094ce22876f8d","subject":"docs(nixery): replace the Nixery mdBook with a simple web page","web_links":[{"name":"cgit","tooltip":"Open in GitWeb","url":"https://code.tvl.fyi/commit/?id\u003d7c99e9e8e300e10e8c81856fa9a094ce22876f8d"}]}],"author":{"name":"William Carroll","email":"wpcarro@gmail.com","date":"2022-10-12 17:22:58.000000000","tz":-420},"committer":{"name":"William Carroll","email":"wpcarro@gmail.com","date":"2022-10-17 01:49:02.000000000","tz":-420},"subject":"wip(wpcarro): Implement \"Algorithm W\"","message":"wip(wpcarro): Implement \"Algorithm W\"\n\nI\u0027ve been wanting to grok Haskell-style type inference for awhile, so instead of\njust watching conference talks and reading papers about it, I\u0027ve decided to\nattempt to implement it to more readily test my understanding of it.\n\nSee \"Wish List\" section of the moduledoc for the current state of the project.\n\nChange-Id: I69261202a3d74d55c6e38763d7ddfec73c392465\n","web_links":[{"name":"cgit","tooltip":"Open in GitWeb","url":"https://code.tvl.fyi/commit/?id\u003d64a54e01b143825b0eb7341e51aca209414f7025"}],"resolve_conflicts_web_links":[{"name":"cgit","tooltip":"Open in GitWeb","url":"https://code.tvl.fyi/commit/?id\u003d64a54e01b143825b0eb7341e51aca209414f7025"}]},"parents_data":[{"branch_name":"refs/heads/canon","commit_id":"7c99e9e8e300e10e8c81856fa9a094ce22876f8d","is_merged_in_target_branch":true,"change_id":"I20e1d58f1e6608377207e80345c169f7d92d3847","change_number":6930,"patch_set_number":3,"change_status":"MERGED"}],"branch":"refs/heads/canon"},"d39bfceb8e6f0cf6c4e57d3d9b7f7099cc095336":{"kind":"REWORK","_number":6,"created":"2022-10-17 03:17:20.000000000","uploader":{"_account_id":1000045,"name":"wpcarro","email":"wpcarro@gmail.com","username":"wpcarro"},"ref":"refs/changes/88/6988/6","fetch":{"anonymous http":{"url":"https://cl.tvl.fyi/depot","ref":"refs/changes/88/6988/6","commands":{"Checkout":"git fetch https://cl.tvl.fyi/depot refs/changes/88/6988/6 \u0026\u0026 git checkout FETCH_HEAD","Cherry Pick":"git fetch https://cl.tvl.fyi/depot refs/changes/88/6988/6 \u0026\u0026 git cherry-pick FETCH_HEAD","Format Patch":"git fetch https://cl.tvl.fyi/depot refs/changes/88/6988/6 \u0026\u0026 git format-patch -1 --stdout FETCH_HEAD","Pull":"git pull https://cl.tvl.fyi/depot refs/changes/88/6988/6"}}},"commit":{"parents":[{"commit":"7c99e9e8e300e10e8c81856fa9a094ce22876f8d","subject":"docs(nixery): replace the Nixery mdBook with a simple web page","web_links":[{"name":"cgit","tooltip":"Open in GitWeb","url":"https://code.tvl.fyi/commit/?id\u003d7c99e9e8e300e10e8c81856fa9a094ce22876f8d"}]}],"author":{"name":"William Carroll","email":"wpcarro@gmail.com","date":"2022-10-12 17:22:58.000000000","tz":-420},"committer":{"name":"William Carroll","email":"wpcarro@gmail.com","date":"2022-10-17 03:15:58.000000000","tz":-420},"subject":"wip(wpcarro): Implement \"Algorithm W\"","message":"wip(wpcarro): Implement \"Algorithm W\"\n\nI\u0027ve been wanting to grok Haskell-style type inference for awhile, so instead of\njust watching conference talks and reading papers about it, I\u0027ve decided to\nattempt to implement it to more readily test my understanding of it.\n\nSee \"Wish List\" section of the moduledoc for the current state of the project.\n\nChange-Id: I69261202a3d74d55c6e38763d7ddfec73c392465\n","web_links":[{"name":"cgit","tooltip":"Open in GitWeb","url":"https://code.tvl.fyi/commit/?id\u003dd39bfceb8e6f0cf6c4e57d3d9b7f7099cc095336"}],"resolve_conflicts_web_links":[{"name":"cgit","tooltip":"Open in GitWeb","url":"https://code.tvl.fyi/commit/?id\u003dd39bfceb8e6f0cf6c4e57d3d9b7f7099cc095336"}]},"parents_data":[{"branch_name":"refs/heads/canon","commit_id":"7c99e9e8e300e10e8c81856fa9a094ce22876f8d","is_merged_in_target_branch":true,"change_id":"I20e1d58f1e6608377207e80345c169f7d92d3847","change_number":6930,"patch_set_number":3,"change_status":"MERGED"}],"branch":"refs/heads/canon"},"013c16f70bf70f487675c518bec3039521749fdf":{"kind":"REWORK","_number":7,"created":"2022-10-23 21:39:44.000000000","uploader":{"_account_id":1000045,"name":"wpcarro","email":"wpcarro@gmail.com","username":"wpcarro"},"ref":"refs/changes/88/6988/7","fetch":{"anonymous http":{"url":"https://cl.tvl.fyi/depot","ref":"refs/changes/88/6988/7","commands":{"Checkout":"git fetch https://cl.tvl.fyi/depot refs/changes/88/6988/7 \u0026\u0026 git checkout FETCH_HEAD","Cherry Pick":"git fetch https://cl.tvl.fyi/depot refs/changes/88/6988/7 \u0026\u0026 git cherry-pick FETCH_HEAD","Format Patch":"git fetch https://cl.tvl.fyi/depot refs/changes/88/6988/7 \u0026\u0026 git format-patch -1 --stdout FETCH_HEAD","Pull":"git pull https://cl.tvl.fyi/depot refs/changes/88/6988/7"}}},"commit":{"parents":[{"commit":"7c99e9e8e300e10e8c81856fa9a094ce22876f8d","subject":"docs(nixery): replace the Nixery mdBook with a simple web page","web_links":[{"name":"cgit","tooltip":"Open in GitWeb","url":"https://code.tvl.fyi/commit/?id\u003d7c99e9e8e300e10e8c81856fa9a094ce22876f8d"}]}],"author":{"name":"William Carroll","email":"wpcarro@gmail.com","date":"2022-10-12 17:22:58.000000000","tz":-420},"committer":{"name":"William Carroll","email":"wpcarro@gmail.com","date":"2022-10-23 21:39:18.000000000","tz":-420},"subject":"wip(wpcarro): Implement \"Algorithm W\"","message":"wip(wpcarro): Implement \"Algorithm W\"\n\nI\u0027ve been wanting to grok Haskell-style type inference for awhile, so instead of\njust watching conference talks and reading papers about it, I\u0027ve decided to\nattempt to implement it to more readily test my understanding of it.\n\nSee \"Wish List\" section of the moduledoc for the current state of the project.\n\nChange-Id: I69261202a3d74d55c6e38763d7ddfec73c392465\n","web_links":[{"name":"cgit","tooltip":"Open in GitWeb","url":"https://code.tvl.fyi/commit/?id\u003d013c16f70bf70f487675c518bec3039521749fdf"}],"resolve_conflicts_web_links":[{"name":"cgit","tooltip":"Open in GitWeb","url":"https://code.tvl.fyi/commit/?id\u003d013c16f70bf70f487675c518bec3039521749fdf"}]},"parents_data":[{"branch_name":"refs/heads/canon","commit_id":"7c99e9e8e300e10e8c81856fa9a094ce22876f8d","is_merged_in_target_branch":true,"change_id":"I20e1d58f1e6608377207e80345c169f7d92d3847","change_number":6930,"patch_set_number":3,"change_status":"MERGED"}],"branch":"refs/heads/canon"},"f8e8573a27a10ce03744a471340362b69b225051":{"kind":"REWORK","_number":8,"created":"2022-10-24 14:47:37.000000000","uploader":{"_account_id":1000045,"name":"wpcarro","email":"wpcarro@gmail.com","username":"wpcarro"},"ref":"refs/changes/88/6988/8","fetch":{"anonymous http":{"url":"https://cl.tvl.fyi/depot","ref":"refs/changes/88/6988/8","commands":{"Checkout":"git fetch https://cl.tvl.fyi/depot refs/changes/88/6988/8 \u0026\u0026 git checkout FETCH_HEAD","Cherry Pick":"git fetch https://cl.tvl.fyi/depot refs/changes/88/6988/8 \u0026\u0026 git cherry-pick FETCH_HEAD","Format Patch":"git fetch https://cl.tvl.fyi/depot refs/changes/88/6988/8 \u0026\u0026 git format-patch -1 --stdout FETCH_HEAD","Pull":"git pull https://cl.tvl.fyi/depot refs/changes/88/6988/8"}}},"commit":{"parents":[{"commit":"7c99e9e8e300e10e8c81856fa9a094ce22876f8d","subject":"docs(nixery): replace the Nixery mdBook with a simple web page","web_links":[{"name":"cgit","tooltip":"Open in GitWeb","url":"https://code.tvl.fyi/commit/?id\u003d7c99e9e8e300e10e8c81856fa9a094ce22876f8d"}]}],"author":{"name":"William Carroll","email":"wpcarro@gmail.com","date":"2022-10-12 17:22:58.000000000","tz":-420},"committer":{"name":"William Carroll","email":"wpcarro@gmail.com","date":"2022-10-24 14:47:14.000000000","tz":-420},"subject":"wip(wpcarro): Implement \"Algorithm W\"","message":"wip(wpcarro): Implement \"Algorithm W\"\n\nI\u0027ve been wanting to grok Haskell-style type inference for awhile, so instead of\njust watching conference talks and reading papers about it, I\u0027ve decided to\nattempt to implement it to more readily test my understanding of it.\n\nSee \"Wish List\" section of the moduledoc for the current state of the project.\n\nChange-Id: I69261202a3d74d55c6e38763d7ddfec73c392465\n","web_links":[{"name":"cgit","tooltip":"Open in GitWeb","url":"https://code.tvl.fyi/commit/?id\u003df8e8573a27a10ce03744a471340362b69b225051"}],"resolve_conflicts_web_links":[{"name":"cgit","tooltip":"Open in GitWeb","url":"https://code.tvl.fyi/commit/?id\u003df8e8573a27a10ce03744a471340362b69b225051"}]},"parents_data":[{"branch_name":"refs/heads/canon","commit_id":"7c99e9e8e300e10e8c81856fa9a094ce22876f8d","is_merged_in_target_branch":true,"change_id":"I20e1d58f1e6608377207e80345c169f7d92d3847","change_number":6930,"patch_set_number":3,"change_status":"MERGED"}],"branch":"refs/heads/canon"},"986999f13e978bf8ca7c127e9df90f8543e51557":{"kind":"REWORK","_number":9,"created":"2022-10-24 14:50:18.000000000","uploader":{"_account_id":1000045,"name":"wpcarro","email":"wpcarro@gmail.com","username":"wpcarro"},"ref":"refs/changes/88/6988/9","fetch":{"anonymous http":{"url":"https://cl.tvl.fyi/depot","ref":"refs/changes/88/6988/9","commands":{"Checkout":"git fetch https://cl.tvl.fyi/depot refs/changes/88/6988/9 \u0026\u0026 git checkout FETCH_HEAD","Cherry Pick":"git fetch https://cl.tvl.fyi/depot refs/changes/88/6988/9 \u0026\u0026 git cherry-pick FETCH_HEAD","Format Patch":"git fetch https://cl.tvl.fyi/depot refs/changes/88/6988/9 \u0026\u0026 git format-patch -1 --stdout FETCH_HEAD","Pull":"git pull https://cl.tvl.fyi/depot refs/changes/88/6988/9"}}},"commit":{"parents":[{"commit":"7c99e9e8e300e10e8c81856fa9a094ce22876f8d","subject":"docs(nixery): replace the Nixery mdBook with a simple web page","web_links":[{"name":"cgit","tooltip":"Open in GitWeb","url":"https://code.tvl.fyi/commit/?id\u003d7c99e9e8e300e10e8c81856fa9a094ce22876f8d"}]}],"author":{"name":"William Carroll","email":"wpcarro@gmail.com","date":"2022-10-12 17:22:58.000000000","tz":-420},"committer":{"name":"William Carroll","email":"wpcarro@gmail.com","date":"2022-10-24 14:50:08.000000000","tz":-420},"subject":"feat(wpcarro/scratch): Implement \"Algorithm W\"","message":"feat(wpcarro/scratch): Implement \"Algorithm W\"\n\nI\u0027ve been wanting to grok Haskell-style type inference for awhile, so instead of\njust watching conference talks and reading papers about it, I\u0027ve decided to\nattempt to implement it to more readily test my understanding of it.\n\nChange-Id: I69261202a3d74d55c6e38763d7ddfec73c392465\n","web_links":[{"name":"cgit","tooltip":"Open in GitWeb","url":"https://code.tvl.fyi/commit/?id\u003d986999f13e978bf8ca7c127e9df90f8543e51557"}],"resolve_conflicts_web_links":[{"name":"cgit","tooltip":"Open in GitWeb","url":"https://code.tvl.fyi/commit/?id\u003d986999f13e978bf8ca7c127e9df90f8543e51557"}]},"parents_data":[{"branch_name":"refs/heads/canon","commit_id":"7c99e9e8e300e10e8c81856fa9a094ce22876f8d","is_merged_in_target_branch":true,"change_id":"I20e1d58f1e6608377207e80345c169f7d92d3847","change_number":6930,"patch_set_number":3,"change_status":"MERGED"}],"branch":"refs/heads/canon"},"fc19a4744435d758f63038954570d1ff57738792":{"kind":"REWORK","_number":10,"created":"2022-10-24 17:39:25.000000000","uploader":{"_account_id":1000045,"name":"wpcarro","email":"wpcarro@gmail.com","username":"wpcarro"},"ref":"refs/changes/88/6988/10","fetch":{"anonymous http":{"url":"https://cl.tvl.fyi/depot","ref":"refs/changes/88/6988/10","commands":{"Checkout":"git fetch https://cl.tvl.fyi/depot refs/changes/88/6988/10 \u0026\u0026 git checkout FETCH_HEAD","Cherry Pick":"git fetch https://cl.tvl.fyi/depot refs/changes/88/6988/10 \u0026\u0026 git cherry-pick FETCH_HEAD","Format Patch":"git fetch https://cl.tvl.fyi/depot refs/changes/88/6988/10 \u0026\u0026 git format-patch -1 --stdout FETCH_HEAD","Pull":"git pull https://cl.tvl.fyi/depot refs/changes/88/6988/10"}}},"commit":{"parents":[{"commit":"7c99e9e8e300e10e8c81856fa9a094ce22876f8d","subject":"docs(nixery): replace the Nixery mdBook with a simple web page","web_links":[{"name":"cgit","tooltip":"Open in GitWeb","url":"https://code.tvl.fyi/commit/?id\u003d7c99e9e8e300e10e8c81856fa9a094ce22876f8d"}]}],"author":{"name":"William Carroll","email":"wpcarro@gmail.com","date":"2022-10-12 17:22:58.000000000","tz":-420},"committer":{"name":"William Carroll","email":"wpcarro@gmail.com","date":"2022-10-24 17:38:48.000000000","tz":-420},"subject":"feat(wpcarro/scratch): Implement \"Algorithm W\"","message":"feat(wpcarro/scratch): Implement \"Algorithm W\"\n\nI\u0027ve been wanting to grok Haskell-style type inference for awhile, so instead of\njust watching conference talks and reading papers about it, I\u0027ve decided to\nattempt to implement it to more readily test my understanding of it.\n\nChange-Id: I69261202a3d74d55c6e38763d7ddfec73c392465\n","web_links":[{"name":"cgit","tooltip":"Open in GitWeb","url":"https://code.tvl.fyi/commit/?id\u003dfc19a4744435d758f63038954570d1ff57738792"}],"resolve_conflicts_web_links":[{"name":"cgit","tooltip":"Open in GitWeb","url":"https://code.tvl.fyi/commit/?id\u003dfc19a4744435d758f63038954570d1ff57738792"}]},"parents_data":[{"branch_name":"refs/heads/canon","commit_id":"7c99e9e8e300e10e8c81856fa9a094ce22876f8d","is_merged_in_target_branch":true,"change_id":"I20e1d58f1e6608377207e80345c169f7d92d3847","change_number":6930,"patch_set_number":3,"change_status":"MERGED"}],"branch":"refs/heads/canon"},"a8876a4cdaaf0a1f051fefad436e08d983b402e2":{"kind":"REWORK","_number":11,"created":"2022-10-24 17:42:43.000000000","uploader":{"_account_id":1000045,"name":"wpcarro","email":"wpcarro@gmail.com","username":"wpcarro"},"ref":"refs/changes/88/6988/11","fetch":{"anonymous http":{"url":"https://cl.tvl.fyi/depot","ref":"refs/changes/88/6988/11","commands":{"Checkout":"git fetch https://cl.tvl.fyi/depot refs/changes/88/6988/11 \u0026\u0026 git checkout FETCH_HEAD","Cherry Pick":"git fetch https://cl.tvl.fyi/depot refs/changes/88/6988/11 \u0026\u0026 git cherry-pick FETCH_HEAD","Format Patch":"git fetch https://cl.tvl.fyi/depot refs/changes/88/6988/11 \u0026\u0026 git format-patch -1 --stdout FETCH_HEAD","Pull":"git pull https://cl.tvl.fyi/depot refs/changes/88/6988/11"}}},"commit":{"parents":[{"commit":"5bd0e723c13b8a41bfba442bd8ef5351e31099e6","subject":"refactor(tvix/eval): Implement value comparison with a method","web_links":[{"name":"cgit","tooltip":"Open in GitWeb","url":"https://code.tvl.fyi/commit/?id\u003d5bd0e723c13b8a41bfba442bd8ef5351e31099e6"}]}],"author":{"name":"William Carroll","email":"wpcarro@gmail.com","date":"2022-10-12 17:22:58.000000000","tz":-420},"committer":{"name":"wpcarro","email":"wpcarro@gmail.com","date":"2022-10-24 17:42:43.000000000","tz":0},"subject":"feat(wpcarro/scratch): Implement \"Algorithm W\"","message":"feat(wpcarro/scratch): Implement \"Algorithm W\"\n\nI\u0027ve been wanting to grok Haskell-style type inference for awhile, so instead of\njust watching conference talks and reading papers about it, I\u0027ve decided to\nattempt to implement it to more readily test my understanding of it.\n\nChange-Id: I69261202a3d74d55c6e38763d7ddfec73c392465\nReviewed-on: https://cl.tvl.fyi/c/depot/+/6988\nTested-by: BuildkiteCI\nReviewed-by: wpcarro \u003cwpcarro@gmail.com\u003e\nAutosubmit: wpcarro \u003cwpcarro@gmail.com\u003e\n","web_links":[{"name":"cgit","tooltip":"Open in GitWeb","url":"https://code.tvl.fyi/commit/?id\u003da8876a4cdaaf0a1f051fefad436e08d983b402e2"}],"resolve_conflicts_web_links":[{"name":"cgit","tooltip":"Open in GitWeb","url":"https://code.tvl.fyi/commit/?id\u003da8876a4cdaaf0a1f051fefad436e08d983b402e2"}]},"parents_data":[{"branch_name":"refs/heads/canon","commit_id":"5bd0e723c13b8a41bfba442bd8ef5351e31099e6","is_merged_in_target_branch":true,"change_id":"I8af1a020b41577021af5939f5edc160c407d4a9e","change_number":7069,"patch_set_number":6,"change_status":"MERGED"}],"branch":"refs/heads/canon","description":"Rebase"}},"requirements":[],"submit_records":[{"rule_name":"gerrit~PrologRule","status":"CLOSED","labels":[{"label":"Autosubmit","status":"MAY"},{"label":"Conformant-Commit-Message","status":"OK","applied_by":{"_account_id":1000045,"name":"wpcarro","email":"wpcarro@gmail.com","username":"wpcarro"}},{"label":"All-Comments-Resolved","status":"OK","applied_by":{"_account_id":1000045,"name":"wpcarro","email":"wpcarro@gmail.com","username":"wpcarro"}},{"label":"Verified","status":"OK","applied_by":{"_account_id":1000014,"name":"BuildkiteCI","username":"buildkite","tags":["SERVICE_USER"]}},{"label":"Code-Review","status":"OK","applied_by":{"_account_id":1000045,"name":"wpcarro","email":"wpcarro@gmail.com","username":"wpcarro"}}]},{"rule_name":"Code-Owners","status":"CLOSED"}],"submit_requirements":[{"name":"All-Comments-Resolved","status":"SATISFIED","is_legacy":true,"submittability_expression_result":{"expression":"label:All-Comments-Resolved\u003dgerrit~PrologRule","fulfilled":true,"status":"PASS","passing_atoms":["label:All-Comments-Resolved\u003dgerrit~PrologRule"],"failing_atoms":[]}},{"name":"Verified","status":"SATISFIED","is_legacy":true,"submittability_expression_result":{"expression":"label:Verified\u003dgerrit~PrologRule","fulfilled":true,"status":"PASS","passing_atoms":["label:Verified\u003dgerrit~PrologRule"],"failing_atoms":[]}},{"name":"Code-Owners","status":"SATISFIED","is_legacy":true,"submittability_expression_result":{"expression":"rule:Code-Owners","fulfilled":true,"status":"PASS","passing_atoms":["Code-Owners"],"failing_atoms":[]}},{"name":"Conformant-Commit-Message","status":"SATISFIED","is_legacy":true,"submittability_expression_result":{"expression":"label:Conformant-Commit-Message\u003dgerrit~PrologRule","fulfilled":true,"status":"PASS","passing_atoms":["label:Conformant-Commit-Message\u003dgerrit~PrologRule"],"failing_atoms":[]}},{"name":"Code-Review","status":"SATISFIED","is_legacy":true,"submittability_expression_result":{"expression":"label:Code-Review\u003dgerrit~PrologRule","fulfilled":true,"status":"PASS","passing_atoms":["label:Code-Review\u003dgerrit~PrologRule"],"failing_atoms":[]}}]}