{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":479531144,"defaultBranch":"main","name":"HVM","ownerLogin":"kings177","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2022-04-08T20:35:06.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/53550620?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1716400189.0","currentOid":""},"activityList":{"items":[{"before":"d153497de7244d283bd35d95dcb69a61e3cc0c81","after":"654276018084b8f44a22b562dd68ab18583bfb5b","ref":"refs/heads/main","pushedAt":"2024-08-23T23:28:37.000Z","pushType":"push","commitsCount":91,"pusher":{"login":"kings177","name":"Yan Mendes","path":"/kings177","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/53550620?s=80&v=4"},"commit":{"message":"Merge pull request #423 from HigherOrderCO/enricozb-readme-1\n\nUpdate README.md","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2477235183\" data-permission-text=\"Title is private\" data-url=\"https://github.com/HigherOrderCO/HVM/issues/423\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/HigherOrderCO/HVM/pull/423/hovercard\" href=\"https://github.com/HigherOrderCO/HVM/pull/423\">HigherOrderCO#423</a> from HigherOrderCO/enricozb-read…"}},{"before":"c9ce40cd54f8706075adab8858e0937ac5b93b35","after":"d153497de7244d283bd35d95dcb69a61e3cc0c81","ref":"refs/heads/main","pushedAt":"2024-06-17T22:39:13.000Z","pushType":"push","commitsCount":126,"pusher":{"login":"kings177","name":"Yan Mendes","path":"/kings177","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/53550620?s=80&v=4"},"commit":{"message":"Merge pull request #379 from HigherOrderCO/fix-safety-checking\n\nPropagate unsafety to definitions that depend on unsafe definitions","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2341029171\" data-permission-text=\"Title is private\" data-url=\"https://github.com/HigherOrderCO/HVM/issues/379\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/HigherOrderCO/HVM/pull/379/hovercard\" href=\"https://github.com/HigherOrderCO/HVM/pull/379\">HigherOrderCO#379</a> from HigherOrderCO/fix-safety-ch…"}},{"before":"154b9e33fbf06ad8e01854c9eb48bdcc9188de37","after":"c9ce40cd54f8706075adab8858e0937ac5b93b35","ref":"refs/heads/main","pushedAt":"2024-05-22T17:50:03.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"kings177","name":"Yan Mendes","path":"/kings177","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/53550620?s=80&v=4"},"commit":{"message":"Changes some styles and enforces following of guidelines on issue openings (#328)\n\n* Update and rename bug_report.md to bug_report.yml\r\n\r\n* Update bug_report.yml\r\n\r\n* changes styling\r\n\r\n* Update bug_report.yml\r\n\r\n* Update bug_report.yml\r\n\r\n* Update bug_report.yml\r\n\r\n* Update bug_report.yml\r\n\r\n* change additional content to be `textarea`\r\n\r\n* Update .github/ISSUE_TEMPLATE/bug_report.yml\r\n\r\nCo-authored-by: Enrico Borba <enricozb@users.noreply.github.com>\r\n\r\n* Update .github/ISSUE_TEMPLATE/bug_report.yml\r\n\r\nCo-authored-by: Enrico Borba <enricozb@users.noreply.github.com>\r\n\r\n* Update .github/ISSUE_TEMPLATE/bug_report.yml\r\n\r\nCo-authored-by: Enrico Borba <enricozb@users.noreply.github.com>\r\n\r\n---------\r\n\r\nCo-authored-by: Enrico Borba <enricozb@users.noreply.github.com>","shortMessageHtmlLink":"Changes some styles and enforces following of guidelines on issue ope…"}},{"before":"154b9e33fbf06ad8e01854c9eb48bdcc9188de37","after":null,"ref":"refs/heads/master","pushedAt":"2024-05-22T17:49:49.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"kings177","name":"Yan Mendes","path":"/kings177","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/53550620?s=80&v=4"}},{"before":null,"after":"154b9e33fbf06ad8e01854c9eb48bdcc9188de37","ref":"refs/heads/main","pushedAt":"2024-05-22T17:49:48.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"kings177","name":"Yan Mendes","path":"/kings177","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/53550620?s=80&v=4"},"commit":{"message":"HVM.log now outputs unormalized terms\n\nFor normalization, the user can use their own sequencers. Ex:\n\n(String.seq (String.cons x xs) cont) = (U60.seq x λx(String.seq xs λxs(cont (String.cons x xs))))\n(String.seq String.nil         cont) = (cont String.nil)\n\n(U60.seq 0 cont) = (cont 0)\n(U60.seq n cont) = (cont n)","shortMessageHtmlLink":"HVM.log now outputs unormalized terms"}},{"before":"7642f04595f36fdf805605c4cd08a70a58e686f9","after":"154b9e33fbf06ad8e01854c9eb48bdcc9188de37","ref":"refs/heads/master","pushedAt":"2024-03-14T15:46:15.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"kings177","name":"Yan Mendes","path":"/kings177","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/53550620?s=80&v=4"},"commit":{"message":"HVM.log now outputs unormalized terms\n\nFor normalization, the user can use their own sequencers. Ex:\n\n(String.seq (String.cons x xs) cont) = (U60.seq x λx(String.seq xs λxs(cont (String.cons x xs))))\n(String.seq String.nil         cont) = (cont String.nil)\n\n(U60.seq 0 cont) = (cont 0)\n(U60.seq n cont) = (cont n)","shortMessageHtmlLink":"HVM.log now outputs unormalized terms"}},{"before":"531d29b9138cdc6e0e40acb8351d6283e9b63e1d","after":"7642f04595f36fdf805605c4cd08a70a58e686f9","ref":"refs/heads/master","pushedAt":"2024-03-10T01:47:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kings177","name":"Yan Mendes","path":"/kings177","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/53550620?s=80&v=4"},"commit":{"message":"Update flake.nix","shortMessageHtmlLink":"Update flake.nix"}},{"before":"fe4da406a265ca3f6ad27b08c76b049279d16abf","after":"531d29b9138cdc6e0e40acb8351d6283e9b63e1d","ref":"refs/heads/master","pushedAt":"2024-03-10T01:46:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kings177","name":"Yan Mendes","path":"/kings177","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/53550620?s=80&v=4"},"commit":{"message":"Update flake.nix","shortMessageHtmlLink":"Update flake.nix"}},{"before":"1d83c3ce0d58a80e70ab9708682709d1c9077664","after":"fe4da406a265ca3f6ad27b08c76b049279d16abf","ref":"refs/heads/master","pushedAt":"2024-03-10T01:43:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kings177","name":"Yan Mendes","path":"/kings177","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/53550620?s=80&v=4"},"commit":{"message":"Update flake.nix","shortMessageHtmlLink":"Update flake.nix"}},{"before":"063859898e78ae6d3330546e41d85b7515f8e494","after":"1d83c3ce0d58a80e70ab9708682709d1c9077664","ref":"refs/heads/master","pushedAt":"2024-03-10T01:33:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kings177","name":"Yan Mendes","path":"/kings177","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/53550620?s=80&v=4"},"commit":{"message":"Update flake.nix","shortMessageHtmlLink":"Update flake.nix"}},{"before":"0db5ea5486176f2d63fd28dd2fa8a9061a916a82","after":"063859898e78ae6d3330546e41d85b7515f8e494","ref":"refs/heads/master","pushedAt":"2024-03-10T01:32:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kings177","name":"Yan Mendes","path":"/kings177","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/53550620?s=80&v=4"},"commit":{"message":"Update flake.nix","shortMessageHtmlLink":"Update flake.nix"}},{"before":"dd70141af2fa8e75d76fc59f41e216cfb0fd051a","after":"0db5ea5486176f2d63fd28dd2fa8a9061a916a82","ref":"refs/heads/master","pushedAt":"2024-03-10T01:28:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kings177","name":"Yan Mendes","path":"/kings177","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/53550620?s=80&v=4"},"commit":{"message":"Update flake.nix","shortMessageHtmlLink":"Update flake.nix"}},{"before":"e5648e79d1948cba14e18c0a011746262cc350b4","after":"dd70141af2fa8e75d76fc59f41e216cfb0fd051a","ref":"refs/heads/master","pushedAt":"2024-03-10T01:26:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kings177","name":"Yan Mendes","path":"/kings177","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/53550620?s=80&v=4"},"commit":{"message":"Update flake.nix","shortMessageHtmlLink":"Update flake.nix"}},{"before":"2841cbfa683c3e108f2eb76a33bc8e4a87b73848","after":"e5648e79d1948cba14e18c0a011746262cc350b4","ref":"refs/heads/master","pushedAt":"2024-03-10T01:23:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kings177","name":"Yan Mendes","path":"/kings177","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/53550620?s=80&v=4"},"commit":{"message":"Update flake.nix","shortMessageHtmlLink":"Update flake.nix"}},{"before":"5b722915be75db126beb119837fd1aa4f8fa8fa5","after":"2841cbfa683c3e108f2eb76a33bc8e4a87b73848","ref":"refs/heads/master","pushedAt":"2024-03-10T00:32:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kings177","name":"Yan Mendes","path":"/kings177","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/53550620?s=80&v=4"},"commit":{"message":"Update flake.lock","shortMessageHtmlLink":"Update flake.lock"}},{"before":"46e7c59231040a0a54b82288005975c421f79025","after":"5b722915be75db126beb119837fd1aa4f8fa8fa5","ref":"refs/heads/master","pushedAt":"2024-03-10T00:31:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kings177","name":"Yan Mendes","path":"/kings177","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/53550620?s=80&v=4"},"commit":{"message":"Update flake.nix","shortMessageHtmlLink":"Update flake.nix"}},{"before":"f52ee503ec69bccba4030caf7c67ccaa6e53d281","after":"46e7c59231040a0a54b82288005975c421f79025","ref":"refs/heads/master","pushedAt":"2024-03-10T00:10:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kings177","name":"Yan Mendes","path":"/kings177","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/53550620?s=80&v=4"},"commit":{"message":"Update flake.nix","shortMessageHtmlLink":"Update flake.nix"}},{"before":"789eb733bd6ee79918b36cbf25c07434830c4970","after":"f52ee503ec69bccba4030caf7c67ccaa6e53d281","ref":"refs/heads/master","pushedAt":"2024-03-10T00:09:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kings177","name":"Yan Mendes","path":"/kings177","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/53550620?s=80&v=4"},"commit":{"message":"Update flake.nix","shortMessageHtmlLink":"Update flake.nix"}},{"before":"1c00410ea3cb662123f290f4c03349e344195348","after":"789eb733bd6ee79918b36cbf25c07434830c4970","ref":"refs/heads/master","pushedAt":"2024-03-10T00:08:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kings177","name":"Yan Mendes","path":"/kings177","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/53550620?s=80&v=4"},"commit":{"message":"Update flake.nix","shortMessageHtmlLink":"Update flake.nix"}},{"before":"e465b26ae3773f5837b690faacf4b2ddf6d4d548","after":"1c00410ea3cb662123f290f4c03349e344195348","ref":"refs/heads/master","pushedAt":"2024-03-10T00:05:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kings177","name":"Yan Mendes","path":"/kings177","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/53550620?s=80&v=4"},"commit":{"message":"Update flake.nix","shortMessageHtmlLink":"Update flake.nix"}},{"before":"cde6336099168684dc5d62636013af3e7e35d1a2","after":"e465b26ae3773f5837b690faacf4b2ddf6d4d548","ref":"refs/heads/master","pushedAt":"2024-03-10T00:00:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kings177","name":"Yan Mendes","path":"/kings177","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/53550620?s=80&v=4"},"commit":{"message":"Update Cargo.toml","shortMessageHtmlLink":"Update Cargo.toml"}},{"before":"9d6cf1f496efa3459789b093e428a2aa1a3ab370","after":"cde6336099168684dc5d62636013af3e7e35d1a2","ref":"refs/heads/master","pushedAt":"2024-03-09T23:57:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kings177","name":"Yan Mendes","path":"/kings177","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/53550620?s=80&v=4"},"commit":{"message":"Update flake.nix","shortMessageHtmlLink":"Update flake.nix"}},{"before":"c875f5989f9f051b2733e2a1ed88abec12233eeb","after":"9d6cf1f496efa3459789b093e428a2aa1a3ab370","ref":"refs/heads/master","pushedAt":"2024-03-09T23:56:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kings177","name":"Yan Mendes","path":"/kings177","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/53550620?s=80&v=4"},"commit":{"message":"Update flake.nix","shortMessageHtmlLink":"Update flake.nix"}},{"before":"bc5daf3419b48a8b34b50678981c1cdd2b9542f8","after":"c875f5989f9f051b2733e2a1ed88abec12233eeb","ref":"refs/heads/master","pushedAt":"2024-03-09T23:36:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kings177","name":"Yan Mendes","path":"/kings177","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/53550620?s=80&v=4"},"commit":{"message":"Update nix.yml","shortMessageHtmlLink":"Update nix.yml"}},{"before":"40c1ec3ca92d4f930c58654f61a72c21dd3079f6","after":"bc5daf3419b48a8b34b50678981c1cdd2b9542f8","ref":"refs/heads/master","pushedAt":"2024-03-09T23:33:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kings177","name":"Yan Mendes","path":"/kings177","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/53550620?s=80&v=4"},"commit":{"message":"Update flake.nix","shortMessageHtmlLink":"Update flake.nix"}},{"before":"c495cdd54c9f7a37bdf17c51c179f97f36752311","after":"40c1ec3ca92d4f930c58654f61a72c21dd3079f6","ref":"refs/heads/master","pushedAt":"2024-03-09T23:27:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kings177","name":"Yan Mendes","path":"/kings177","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/53550620?s=80&v=4"},"commit":{"message":"Update Cargo.toml","shortMessageHtmlLink":"Update Cargo.toml"}},{"before":"2eefbd3e628900d5e84206dea00f2179434b8c68","after":"c495cdd54c9f7a37bdf17c51c179f97f36752311","ref":"refs/heads/master","pushedAt":"2024-03-09T23:27:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kings177","name":"Yan Mendes","path":"/kings177","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/53550620?s=80&v=4"},"commit":{"message":"Update flake.nix","shortMessageHtmlLink":"Update flake.nix"}},{"before":"bfa6642de769fb73e62569f95281bd820e346067","after":"2eefbd3e628900d5e84206dea00f2179434b8c68","ref":"refs/heads/master","pushedAt":"2024-03-09T23:25:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kings177","name":"Yan Mendes","path":"/kings177","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/53550620?s=80&v=4"},"commit":{"message":"Update flake.nix","shortMessageHtmlLink":"Update flake.nix"}},{"before":"8f4dfc4ab892fbfa84be937b180188bc3b119507","after":"bfa6642de769fb73e62569f95281bd820e346067","ref":"refs/heads/master","pushedAt":"2024-03-09T23:24:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kings177","name":"Yan Mendes","path":"/kings177","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/53550620?s=80&v=4"},"commit":{"message":"Update Cargo.toml","shortMessageHtmlLink":"Update Cargo.toml"}},{"before":"48eedc18b211346a5a75e6fe71d8ff433558803c","after":"8f4dfc4ab892fbfa84be937b180188bc3b119507","ref":"refs/heads/master","pushedAt":"2024-03-09T23:13:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kings177","name":"Yan Mendes","path":"/kings177","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/53550620?s=80&v=4"},"commit":{"message":"Update Cargo.toml","shortMessageHtmlLink":"Update Cargo.toml"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEost4qgA","startCursor":null,"endCursor":null}},"title":"Activity · kings177/HVM"}