{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":731337767,"defaultBranch":"master","name":"agda2rust","ownerLogin":"lemastero","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2023-12-13T21:24:38.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/10901543?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1702949043.0","currentOid":""},"activityList":{"items":[{"before":"87fa0c798dba01b538512b66d7c7144d4783f489","after":"3c0f18d47d4fbdd9ab3fd39dc540ba733427cd97","ref":"refs/heads/record-types","pushedAt":"2024-05-04T15:05:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lemastero","name":"Piotr Paradziński","path":"/lemastero","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10901543?s=80&v=4"},"commit":{"message":"compile record elements - cleanup imports","shortMessageHtmlLink":"compile record elements - cleanup imports"}},{"before":"f42ebab77aa49477de97d84213137b4b4cb9ab91","after":"87fa0c798dba01b538512b66d7c7144d4783f489","ref":"refs/heads/record-types","pushedAt":"2024-05-04T11:09:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lemastero","name":"Piotr Paradziński","path":"/lemastero","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10901543?s=80&v=4"},"commit":{"message":"compile record elements","shortMessageHtmlLink":"compile record elements"}},{"before":null,"after":"f42ebab77aa49477de97d84213137b4b4cb9ab91","ref":"refs/heads/record-types","pushedAt":"2023-12-19T01:24:03.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"lemastero","name":"Piotr Paradziński","path":"/lemastero","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10901543?s=80&v=4"},"commit":{"message":"compile record name","shortMessageHtmlLink":"compile record name"}},{"before":"d112ac7c7d61706b7f804743471c81e81e4bed4d","after":null,"ref":"refs/heads/fix-gen-files","pushedAt":"2023-12-19T01:06:52.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"lemastero","name":"Piotr Paradziński","path":"/lemastero","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10901543?s=80&v=4"}},{"before":"481aac5654e13fa20ef4c7e58405d135c8fafb65","after":"6c45d5bdb4c34d2b4ea9322dcf83d96d5b66ac6e","ref":"refs/heads/master","pushedAt":"2023-12-19T01:06:51.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"lemastero","name":"Piotr Paradziński","path":"/lemastero","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10901543?s=80&v=4"},"commit":{"message":"Fix gen files (#21)\n\n* fix broken file generation\r\n\r\n* delete example file on CI\r\n\r\n* update hello.agda","shortMessageHtmlLink":"Fix gen files (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2047739043\" data-permission-text=\"Title is private\" data-url=\"https://github.com/lemastero/agda2rust/issues/21\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/lemastero/agda2rust/pull/21/hovercard\" href=\"https://github.com/lemastero/agda2rust/pull/21\">#21</a>)"}},{"before":"9cc794a828db2b163384886c89bcacc88e15dfc0","after":"d112ac7c7d61706b7f804743471c81e81e4bed4d","ref":"refs/heads/fix-gen-files","pushedAt":"2023-12-19T01:05:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lemastero","name":"Piotr Paradziński","path":"/lemastero","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10901543?s=80&v=4"},"commit":{"message":"update hello.agda","shortMessageHtmlLink":"update hello.agda"}},{"before":null,"after":"9cc794a828db2b163384886c89bcacc88e15dfc0","ref":"refs/heads/fix-gen-files","pushedAt":"2023-12-19T01:01:41.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"lemastero","name":"Piotr Paradziński","path":"/lemastero","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10901543?s=80&v=4"},"commit":{"message":"delete example file on CI","shortMessageHtmlLink":"delete example file on CI"}},{"before":"9fce1546a7ed17c6f914ee3800df2b6e727553a4","after":null,"ref":"refs/heads/rustexpr-split-prettyprint-parse","pushedAt":"2023-12-18T15:08:28.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"lemastero","name":"Piotr Paradziński","path":"/lemastero","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10901543?s=80&v=4"}},{"before":"2e60ae82f4ff7dc059112c07fc9702e4127d7bda","after":"481aac5654e13fa20ef4c7e58405d135c8fafb65","ref":"refs/heads/master","pushedAt":"2023-12-18T15:08:27.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"lemastero","name":"Piotr Paradziński","path":"/lemastero","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10901543?s=80&v=4"},"commit":{"message":"Add RustExpr to split prettyprint and parse (#20)\n\n* add RustExpr to separate pretty printing and creating expression from Agda internals\r\n\r\n* rename after refactor to RustExpr\r\n\r\n* rename after refactor to RustExpr - fix\r\n\r\n* swap unless to when\r\n\r\n* rename back to PrettyPrintingUtils for easier review","shortMessageHtmlLink":"Add RustExpr to split prettyprint and parse (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2046872699\" data-permission-text=\"Title is private\" data-url=\"https://github.com/lemastero/agda2rust/issues/20\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/lemastero/agda2rust/pull/20/hovercard\" href=\"https://github.com/lemastero/agda2rust/pull/20\">#20</a>)"}},{"before":"807561c865237fa67914a2e41cbb6cc1c7b3e0c4","after":"9fce1546a7ed17c6f914ee3800df2b6e727553a4","ref":"refs/heads/rustexpr-split-prettyprint-parse","pushedAt":"2023-12-18T15:05:04.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"lemastero","name":"Piotr Paradziński","path":"/lemastero","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10901543?s=80&v=4"},"commit":{"message":"rename back to PrettyPrintingUtils for easier review","shortMessageHtmlLink":"rename back to PrettyPrintingUtils for easier review"}},{"before":"58537261809e981737f0382076591ed3020cb2fe","after":null,"ref":"refs/heads/one-arg-id","pushedAt":"2023-12-18T15:01:10.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"lemastero","name":"Piotr Paradziński","path":"/lemastero","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10901543?s=80&v=4"}},{"before":"776efb3730e0da52428e14557e36665fd56a1221","after":"2e60ae82f4ff7dc059112c07fc9702e4127d7bda","ref":"refs/heads/master","pushedAt":"2023-12-18T15:01:09.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"lemastero","name":"Piotr Paradziński","path":"/lemastero","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10901543?s=80&v=4"},"commit":{"message":"Compile one argument identity function (#10)\n\n* test existing code creating moduleHeader\r\n\r\n* module header is proper Rust comment\r\n\r\n* fix non-compiling Test.agda example - add test.Test module\r\n\r\n* handle module name and brackets\r\n\r\n* handle function name, brackets around body, raw body\r\n\r\n* handle data type definition as enum - name, brackets and raw clauses\r\n\r\n* update examples Hello and Test with new handling of functions and data types\r\n\r\n* simplify Hello.agda enum + function on enum\r\n\r\n* extract functions for hande functions, handle data type, handle module\r\n\r\n* handle enums\r\n\r\n* use bracket, rename handleX to compileX\r\n\r\n* use bracket, rename handleX to compileX - fix unit tests\r\n\r\n* use bracket, rename handleX to compileX - fix unit tests 2\r\n\r\n* extract PrettyPrintingUtils and ToRustCompiler; common types between ToRustCompiler and Backed are in CommonTypes\r\n\r\n* add typeSeparator and argList for pretty printing\r\n\r\n* compile singe argument function - argument name, its argument, function result type and single variable result body\r\n\r\n* compile singe argument function - add return\r\n\r\n* compile singe argument function - update Hello example\r\n\r\n* compile singe argument function - add comments for further improvements\r\n\r\n* proper function return type; rename to be more in-line with Rust naming style\r\n\r\n* fix function return types (broke during rebase)\r\n\r\n* change to lowercase names\r\n\r\n* remove empty lines\r\n\r\n* fix use module name instead of first directory\r\n\r\n* RustExpr to separate pretty printing from traverse Agda internals (#18)\r\n\r\n* add RustExpr to separate pretty printing and creating expression from Agda internals\r\n\r\n* rename after refactor to RustExpr\r\n\r\n* rename after refactor to RustExpr - fix\r\n\r\n* swap unless to when\r\n\r\n* Revert \"RustExpr to separate pretty printing from traverse Agda internals (#18)\" (#19)\r\n\r\nThis reverts commit 2f56f9a59d3aa65a3d234e60820f17b61f5624a2.","shortMessageHtmlLink":"Compile one argument identity function (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2042715520\" data-permission-text=\"Title is private\" data-url=\"https://github.com/lemastero/agda2rust/issues/10\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/lemastero/agda2rust/pull/10/hovercard\" href=\"https://github.com/lemastero/agda2rust/pull/10\">#10</a>)"}},{"before":null,"after":"807561c865237fa67914a2e41cbb6cc1c7b3e0c4","ref":"refs/heads/rustexpr-split-prettyprint-parse","pushedAt":"2023-12-18T14:59:50.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"lemastero","name":"Piotr Paradziński","path":"/lemastero","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10901543?s=80&v=4"},"commit":{"message":"swap unless to when","shortMessageHtmlLink":"swap unless to when"}},{"before":"2c6f6f44abe3b0b6499c7ae18575af910ec98cef","after":null,"ref":"refs/heads/revert-18-rustexpr-split-prettyprint-parse","pushedAt":"2023-12-18T14:59:38.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"lemastero","name":"Piotr Paradziński","path":"/lemastero","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10901543?s=80&v=4"}},{"before":"2f56f9a59d3aa65a3d234e60820f17b61f5624a2","after":"58537261809e981737f0382076591ed3020cb2fe","ref":"refs/heads/one-arg-id","pushedAt":"2023-12-18T14:59:37.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"lemastero","name":"Piotr Paradziński","path":"/lemastero","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10901543?s=80&v=4"},"commit":{"message":"Revert \"RustExpr to separate pretty printing from traverse Agda internals (#18)\" (#19)\n\nThis reverts commit 2f56f9a59d3aa65a3d234e60820f17b61f5624a2.","shortMessageHtmlLink":"Revert \"RustExpr to separate pretty printing from traverse Agda inter…"}},{"before":null,"after":"2c6f6f44abe3b0b6499c7ae18575af910ec98cef","ref":"refs/heads/revert-18-rustexpr-split-prettyprint-parse","pushedAt":"2023-12-18T14:59:07.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"lemastero","name":"Piotr Paradziński","path":"/lemastero","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10901543?s=80&v=4"},"commit":{"message":"Revert \"RustExpr to separate pretty printing from traverse Agda internals (#18)\"\n\nThis reverts commit 2f56f9a59d3aa65a3d234e60820f17b61f5624a2.","shortMessageHtmlLink":"Revert \"RustExpr to separate pretty printing from traverse Agda inter…"}},{"before":"807561c865237fa67914a2e41cbb6cc1c7b3e0c4","after":null,"ref":"refs/heads/rustexpr-split-prettyprint-parse","pushedAt":"2023-12-18T14:57:44.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"lemastero","name":"Piotr Paradziński","path":"/lemastero","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10901543?s=80&v=4"}},{"before":"4db314b06f8d6972e0c07df1efbbb8292a4a28bc","after":"2f56f9a59d3aa65a3d234e60820f17b61f5624a2","ref":"refs/heads/one-arg-id","pushedAt":"2023-12-18T14:57:43.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"lemastero","name":"Piotr Paradziński","path":"/lemastero","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10901543?s=80&v=4"},"commit":{"message":"RustExpr to separate pretty printing from traverse Agda internals (#18)\n\n* add RustExpr to separate pretty printing and creating expression from Agda internals\r\n\r\n* rename after refactor to RustExpr\r\n\r\n* rename after refactor to RustExpr - fix\r\n\r\n* swap unless to when","shortMessageHtmlLink":"RustExpr to separate pretty printing from traverse Agda internals (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2046811654\" data-permission-text=\"Title is private\" data-url=\"https://github.com/lemastero/agda2rust/issues/18\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/lemastero/agda2rust/pull/18/hovercard\" href=\"https://github.com/lemastero/agda2rust/pull/18\">#18</a>)"}},{"before":"fa7e8346a784d31b0b70d5c4a4f9824d4af5c2a5","after":"807561c865237fa67914a2e41cbb6cc1c7b3e0c4","ref":"refs/heads/rustexpr-split-prettyprint-parse","pushedAt":"2023-12-18T14:56:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lemastero","name":"Piotr Paradziński","path":"/lemastero","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10901543?s=80&v=4"},"commit":{"message":"swap unless to when","shortMessageHtmlLink":"swap unless to when"}},{"before":"6a8ae2d044528c248810cf8d774ace2112892d67","after":"fa7e8346a784d31b0b70d5c4a4f9824d4af5c2a5","ref":"refs/heads/rustexpr-split-prettyprint-parse","pushedAt":"2023-12-18T14:47:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lemastero","name":"Piotr Paradziński","path":"/lemastero","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10901543?s=80&v=4"},"commit":{"message":"rename after refactor to RustExpr - fix","shortMessageHtmlLink":"rename after refactor to RustExpr - fix"}},{"before":"08296346b4b349833aaf1d50fe5fd01d2acdd18d","after":"6a8ae2d044528c248810cf8d774ace2112892d67","ref":"refs/heads/rustexpr-split-prettyprint-parse","pushedAt":"2023-12-18T14:42:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lemastero","name":"Piotr Paradziński","path":"/lemastero","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10901543?s=80&v=4"},"commit":{"message":"rename after refactor to RustExpr","shortMessageHtmlLink":"rename after refactor to RustExpr"}},{"before":null,"after":"08296346b4b349833aaf1d50fe5fd01d2acdd18d","ref":"refs/heads/rustexpr-split-prettyprint-parse","pushedAt":"2023-12-18T14:35:52.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"lemastero","name":"Piotr Paradziński","path":"/lemastero","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10901543?s=80&v=4"},"commit":{"message":"add RustExpr to separate pretty printing and creating expression from Agda internals","shortMessageHtmlLink":"add RustExpr to separate pretty printing and creating expression from…"}},{"before":"fad17ffa0b6f7d8b8c9c8d5074b4e9a21f700a50","after":"4db314b06f8d6972e0c07df1efbbb8292a4a28bc","ref":"refs/heads/one-arg-id","pushedAt":"2023-12-18T02:45:44.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"lemastero","name":"Piotr Paradziński","path":"/lemastero","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10901543?s=80&v=4"},"commit":{"message":"fix use module name instead of first directory","shortMessageHtmlLink":"fix use module name instead of first directory"}},{"before":"aa6d0901b7df4e973ac0f7317c5176e64cc1ae83","after":"fad17ffa0b6f7d8b8c9c8d5074b4e9a21f700a50","ref":"refs/heads/one-arg-id","pushedAt":"2023-12-18T02:03:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lemastero","name":"Piotr Paradziński","path":"/lemastero","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10901543?s=80&v=4"},"commit":{"message":"change to lowercase names","shortMessageHtmlLink":"change to lowercase names"}},{"before":"e8885b058dc84e73f0227f8b9b8c9511a3fa9ee8","after":"aa6d0901b7df4e973ac0f7317c5176e64cc1ae83","ref":"refs/heads/one-arg-id","pushedAt":"2023-12-18T01:39:24.000Z","pushType":"push","commitsCount":9,"pusher":{"login":"lemastero","name":"Piotr Paradziński","path":"/lemastero","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10901543?s=80&v=4"},"commit":{"message":"fix function return types (broke during rebase)","shortMessageHtmlLink":"fix function return types (broke during rebase)"}},{"before":"0c047607a366a902a8a8a858bdf3a4797ab5e78e","after":"e8885b058dc84e73f0227f8b9b8c9511a3fa9ee8","ref":"refs/heads/one-arg-id","pushedAt":"2023-12-18T01:11:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lemastero","name":"Piotr Paradziński","path":"/lemastero","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10901543?s=80&v=4"},"commit":{"message":"proper function return type; rename to be more in-line with Rust naming style","shortMessageHtmlLink":"proper function return type; rename to be more in-line with Rust nami…"}},{"before":"28f2967af41fc36a491de34b1862a4674c781412","after":"776efb3730e0da52428e14557e36665fd56a1221","ref":"refs/heads/master","pushedAt":"2023-12-18T00:16:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lemastero","name":"Piotr Paradziński","path":"/lemastero","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10901543?s=80&v=4"},"commit":{"message":"Clean up description in README.md","shortMessageHtmlLink":"Clean up description in README.md"}},{"before":"66e7489e695117fcb28577ad4d15f2e588ddf562","after":null,"ref":"refs/heads/lemastero-patch-1","pushedAt":"2023-12-18T00:03:35.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"lemastero","name":"Piotr Paradziński","path":"/lemastero","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10901543?s=80&v=4"}},{"before":"3cfd8a85d7afe4817ad96737a243bca976309591","after":"28f2967af41fc36a491de34b1862a4674c781412","ref":"refs/heads/master","pushedAt":"2023-12-18T00:03:35.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"lemastero","name":"Piotr Paradziński","path":"/lemastero","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10901543?s=80&v=4"},"commit":{"message":"Compile Rust files on CI (#17)\n\n* compile Rust\r\n\r\n* Update runing Rust on CI\r\n\r\n* Rust in CI use minimal profile, stable version","shortMessageHtmlLink":"Compile Rust files on CI (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2045292901\" data-permission-text=\"Title is private\" data-url=\"https://github.com/lemastero/agda2rust/issues/17\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/lemastero/agda2rust/pull/17/hovercard\" href=\"https://github.com/lemastero/agda2rust/pull/17\">#17</a>)"}},{"before":"0a2fb8556b1210206237acfdd62e7cf26ce7ee39","after":"66e7489e695117fcb28577ad4d15f2e588ddf562","ref":"refs/heads/lemastero-patch-1","pushedAt":"2023-12-18T00:00:57.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"lemastero","name":"Piotr Paradziński","path":"/lemastero","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10901543?s=80&v=4"},"commit":{"message":"Rust in CI use minimal profile, stable version","shortMessageHtmlLink":"Rust in CI use minimal profile, stable version"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEQXdu7gA","startCursor":null,"endCursor":null}},"title":"Activity · lemastero/agda2rust"}