{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":635722391,"defaultBranch":"main","name":"pie-ts","ownerLogin":"stickyPiston","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-05-03T10:13:01.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/40258980?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1683108878.0","currentOid":""},"activityList":{"items":[{"before":"182f56974865eb23c23ed2b576b45086b7725da7","after":"0eb6680d96b694b2cb701877926b1d00afc61721","ref":"refs/heads/main","pushedAt":"2023-09-17T21:31:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"stickyPiston","name":"Job Vonk","path":"/stickyPiston","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/40258980?s=80&v=4"},"commit":{"message":"Changed retrieval of variables from contexts","shortMessageHtmlLink":"Changed retrieval of variables from contexts"}},{"before":"7807c8dd60f84b3c2ed245d902197d8bffef3cbc","after":"182f56974865eb23c23ed2b576b45086b7725da7","ref":"refs/heads/main","pushedAt":"2023-09-16T17:07:38.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"stickyPiston","name":"Job Vonk","path":"/stickyPiston","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/40258980?s=80&v=4"},"commit":{"message":"WIP replaced toplevel data and constructor classes","shortMessageHtmlLink":"WIP replaced toplevel data and constructor classes"}},{"before":"0c029f0ec8bf271e9a2757518320836812e46a70","after":"7807c8dd60f84b3c2ed245d902197d8bffef3cbc","ref":"refs/heads/main","pushedAt":"2023-09-12T08:02:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"stickyPiston","name":"Job Vonk","path":"/stickyPiston","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/40258980?s=80&v=4"},"commit":{"message":"Refactored contexts to class hierarchy","shortMessageHtmlLink":"Refactored contexts to class hierarchy"}},{"before":"de43730879c2fcd68659b69bddb9ab30e458c303","after":"0c029f0ec8bf271e9a2757518320836812e46a70","ref":"refs/heads/main","pushedAt":"2023-07-31T11:46:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"stickyPiston","name":"Job Vonk","path":"/stickyPiston","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/40258980?s=80&v=4"},"commit":{"message":"Replaced all JS lists with immutable lists","shortMessageHtmlLink":"Replaced all JS lists with immutable lists"}},{"before":"e4a0431ad20ea105afefdae088e570529e192cab","after":"de43730879c2fcd68659b69bddb9ab30e458c303","ref":"refs/heads/main","pushedAt":"2023-07-28T17:23:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"stickyPiston","name":"Job Vonk","path":"/stickyPiston","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/40258980?s=80&v=4"},"commit":{"message":"Added missing toString implementation for C.Datatype","shortMessageHtmlLink":"Added missing toString implementation for C.Datatype"}},{"before":"9b0a3a890b3bf46e50e867883288520ddc2c2b13","after":"e4a0431ad20ea105afefdae088e570529e192cab","ref":"refs/heads/main","pushedAt":"2023-07-28T17:21:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"stickyPiston","name":"Job Vonk","path":"/stickyPiston","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/40258980?s=80&v=4"},"commit":{"message":"Added documentation to new toplevel functions","shortMessageHtmlLink":"Added documentation to new toplevel functions"}},{"before":"58f7ea760b6a64854ad59d6e4999a29eb8aef4fc","after":"9b0a3a890b3bf46e50e867883288520ddc2c2b13","ref":"refs/heads/main","pushedAt":"2023-07-28T17:01:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"stickyPiston","name":"Job Vonk","path":"/stickyPiston","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/40258980?s=80&v=4"},"commit":{"message":"Added the parameter consistency check for datatypes","shortMessageHtmlLink":"Added the parameter consistency check for datatypes"}},{"before":"975103c7786515987e4c898223e8a1168e6ecc11","after":"58f7ea760b6a64854ad59d6e4999a29eb8aef4fc","ref":"refs/heads/main","pushedAt":"2023-07-28T16:03:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"stickyPiston","name":"Job Vonk","path":"/stickyPiston","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/40258980?s=80&v=4"},"commit":{"message":"Made datatype parameters available in constructors\nAnd added automatic parameter insertion for constructors","shortMessageHtmlLink":"Made datatype parameters available in constructors"}},{"before":"c3ecb030ab2e74fca2da9fb45d1a10e581020591","after":"975103c7786515987e4c898223e8a1168e6ecc11","ref":"refs/heads/main","pushedAt":"2023-07-25T20:45:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"stickyPiston","name":"Job Vonk","path":"/stickyPiston","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/40258980?s=80&v=4"},"commit":{"message":"Added dependent constructors and parameterised datatypes","shortMessageHtmlLink":"Added dependent constructors and parameterised datatypes"}},{"before":"6a1a5e8961cc81d7345865a72376c114d1a1e589","after":"c3ecb030ab2e74fca2da9fb45d1a10e581020591","ref":"refs/heads/main","pushedAt":"2023-07-24T14:35:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"stickyPiston","name":"Job Vonk","path":"/stickyPiston","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/40258980?s=80&v=4"},"commit":{"message":"Added a pegjs grammar and parser","shortMessageHtmlLink":"Added a pegjs grammar and parser"}},{"before":"3b0f1e90bb86cac4e05af86f8a8ad20e1635bcce","after":"6a1a5e8961cc81d7345865a72376c114d1a1e589","ref":"refs/heads/main","pushedAt":"2023-07-23T22:16:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"stickyPiston","name":"Job Vonk","path":"/stickyPiston","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/40258980?s=80&v=4"},"commit":{"message":"Added documentation for patterns and new top levels","shortMessageHtmlLink":"Added documentation for patterns and new top levels"}},{"before":"6950ee190ceda40e188912af1b668c20043c06b1","after":"3b0f1e90bb86cac4e05af86f8a8ad20e1635bcce","ref":"refs/heads/main","pushedAt":"2023-07-23T19:29:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"stickyPiston","name":"Job Vonk","path":"/stickyPiston","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/40258980?s=80&v=4"},"commit":{"message":"Added Match Neutral value","shortMessageHtmlLink":"Added Match Neutral value"}},{"before":"b1b376f5921dfd8abe60f7bd6f3fb824c51373de","after":"6950ee190ceda40e188912af1b668c20043c06b1","ref":"refs/heads/main","pushedAt":"2023-07-23T17:18:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"stickyPiston","name":"Job Vonk","path":"/stickyPiston","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/40258980?s=80&v=4"},"commit":{"message":"Added new datatypes and pattern matching","shortMessageHtmlLink":"Added new datatypes and pattern matching"}},{"before":"2d8b3c9e1251f87c3b08dfbc2aaee9927968281a","after":"b1b376f5921dfd8abe60f7bd6f3fb824c51373de","ref":"refs/heads/main","pushedAt":"2023-07-05T21:44:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"stickyPiston","name":"Job Vonk","path":"/stickyPiston","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/40258980?s=80&v=4"},"commit":{"message":"Added ind-+ neutral expression","shortMessageHtmlLink":"Added ind-+ neutral expression"}},{"before":"a3f7ca04f5d559fcebbc65f47993beedd8dc828d","after":"2d8b3c9e1251f87c3b08dfbc2aaee9927968281a","ref":"refs/heads/main","pushedAt":"2023-07-05T21:18:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"stickyPiston","name":"Job Vonk","path":"/stickyPiston","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/40258980?s=80&v=4"},"commit":{"message":"Added jsdoc documentation to all modules","shortMessageHtmlLink":"Added jsdoc documentation to all modules"}},{"before":"6a02aeae7bfc78590b5c67d264bd6ddf0d7381c2","after":"a3f7ca04f5d559fcebbc65f47993beedd8dc828d","ref":"refs/heads/main","pushedAt":"2023-07-04T18:25:30.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"stickyPiston","name":"Job Vonk","path":"/stickyPiston","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/40258980?s=80&v=4"},"commit":{"message":"Added toString functions to values","shortMessageHtmlLink":"Added toString functions to values"}},{"before":"35556ff0cda27477e8d7fb01774dfb4d3a6121a2","after":"6a02aeae7bfc78590b5c67d264bd6ddf0d7381c2","ref":"refs/heads/main","pushedAt":"2023-06-30T15:38:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"stickyPiston","name":"Job Vonk","path":"/stickyPiston","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/40258980?s=80&v=4"},"commit":{"message":"Added rudimentary non-recursive ADT declarations","shortMessageHtmlLink":"Added rudimentary non-recursive ADT declarations"}},{"before":"35bc699fc7f8a90f51aeaa4cf652b2dabb85dd01","after":"35556ff0cda27477e8d7fb01774dfb4d3a6121a2","ref":"refs/heads/main","pushedAt":"2023-06-16T19:15:29.001Z","pushType":"push","commitsCount":1,"pusher":{"login":"stickyPiston","name":"Job Vonk","path":"/stickyPiston","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/40258980?s=80&v=4"},"commit":{"message":"Added arm reodering and exhaustiveness checks to the match expression","shortMessageHtmlLink":"Added arm reodering and exhaustiveness checks to the match expression"}},{"before":"da33a662123fe67f9abefddedfc3e6c2980f7ec3","after":"35bc699fc7f8a90f51aeaa4cf652b2dabb85dd01","ref":"refs/heads/main","pushedAt":"2023-06-16T18:18:45.328Z","pushType":"push","commitsCount":1,"pusher":{"login":"stickyPiston","name":"Job Vonk","path":"/stickyPiston","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/40258980?s=80&v=4"},"commit":{"message":"Added coproduct types and simple pattern matching","shortMessageHtmlLink":"Added coproduct types and simple pattern matching"}},{"before":"18360120a76c85540cabec1261a65058a18508b0","after":"da33a662123fe67f9abefddedfc3e6c2980f7ec3","ref":"refs/heads/main","pushedAt":"2023-06-02T17:48:21.742Z","pushType":"push","commitsCount":1,"pusher":{"login":"stickyPiston","name":"Job Vonk","path":"/stickyPiston","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/40258980?s=80&v=4"},"commit":{"message":"Restructured repo to separate the cli from the compiler","shortMessageHtmlLink":"Restructured repo to separate the cli from the compiler"}},{"before":"1615c662c7617da2110039a642293225cebfbc54","after":"18360120a76c85540cabec1261a65058a18508b0","ref":"refs/heads/main","pushedAt":"2023-06-02T15:11:21.328Z","pushType":"push","commitsCount":1,"pusher":{"login":"stickyPiston","name":"Job Vonk","path":"/stickyPiston","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/40258980?s=80&v=4"},"commit":{"message":"Fixed heaps of bugs by running a test script","shortMessageHtmlLink":"Fixed heaps of bugs by running a test script"}},{"before":"5208a7086777556b4a2f440a0483d60ac9a6e072","after":"1615c662c7617da2110039a642293225cebfbc54","ref":"refs/heads/main","pushedAt":"2023-06-02T11:02:52.155Z","pushType":"push","commitsCount":2,"pusher":{"login":"stickyPiston","name":"Job Vonk","path":"/stickyPiston","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/40258980?s=80&v=4"},"commit":{"message":"Added a parser to start manually testing some scripts","shortMessageHtmlLink":"Added a parser to start manually testing some scripts"}},{"before":"b1cd4f4fa5671538c33aaf6a44dd64aea2ff850f","after":"5208a7086777556b4a2f440a0483d60ac9a6e072","ref":"refs/heads/main","pushedAt":"2023-05-31T12:03:16.025Z","pushType":"push","commitsCount":1,"pusher":{"login":"stickyPiston","name":"Job Vonk","path":"/stickyPiston","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/40258980?s=80&v=4"},"commit":{"message":"Added remaining α-equiv methods to Core expressions","shortMessageHtmlLink":"Added remaining α-equiv methods to Core expressions"}},{"before":"1546b9695b51fa2d31a78f9108b65799dc2c0b82","after":"b1cd4f4fa5671538c33aaf6a44dd64aea2ff850f","ref":"refs/heads/main","pushedAt":"2023-05-29T21:05:03.611Z","pushType":"push","commitsCount":1,"pusher":{"login":"stickyPiston","name":"Job Vonk","path":"/stickyPiston","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/40258980?s=80&v=4"},"commit":{"message":"Added α-equiv methods for Nat, Π and Σ Core expressions","shortMessageHtmlLink":"Added α-equiv methods for Nat, Π and Σ Core expressions"}},{"before":"b38403f32dcf64824d542b68c8f44bb8cc3ca120","after":"1546b9695b51fa2d31a78f9108b65799dc2c0b82","ref":"refs/heads/main","pushedAt":"2023-05-29T15:54:31.054Z","pushType":"push","commitsCount":1,"pusher":{"login":"stickyPiston","name":"Job Vonk","path":"/stickyPiston","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/40258980?s=80&v=4"},"commit":{"message":"Added remaining ι-rules for eliminators on Neutral targets","shortMessageHtmlLink":"Added remaining ι-rules for eliminators on Neutral targets"}},{"before":"7ffb708d2ef97653617cb7aef8aae0141f2d41d0","after":"b38403f32dcf64824d542b68c8f44bb8cc3ca120","ref":"refs/heads/main","pushedAt":"2023-05-26T14:59:18.526Z","pushType":"push","commitsCount":1,"pusher":{"login":"stickyPiston","name":"Job Vonk","path":"/stickyPiston","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/40258980?s=80&v=4"},"commit":{"message":"Added ι-rules for Nat and List eliminators on Neutral values","shortMessageHtmlLink":"Added ι-rules for Nat and List eliminators on Neutral values"}},{"before":"1b9a9e05464a6d17b22a49390237ea728fb34e67","after":"7ffb708d2ef97653617cb7aef8aae0141f2d41d0","ref":"refs/heads/main","pushedAt":"2023-05-25T21:01:16.951Z","pushType":"push","commitsCount":1,"pusher":{"login":"stickyPiston","name":"Job Vonk","path":"/stickyPiston","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/40258980?s=80&v=4"},"commit":{"message":"Added remaining ι-rules for non-Neutral values","shortMessageHtmlLink":"Added remaining ι-rules for non-Neutral values"}},{"before":"51d004c857973d66734142bc6245a64d2bdb8092","after":"1b9a9e05464a6d17b22a49390237ea728fb34e67","ref":"refs/heads/main","pushedAt":"2023-05-24T17:32:05.834Z","pushType":"push","commitsCount":2,"pusher":{"login":"stickyPiston","name":"Job Vonk","path":"/stickyPiston","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/40258980?s=80&v=4"},"commit":{"message":"Merge branch 'main' of https://github.com/stickyPiston/pie-ts","shortMessageHtmlLink":"Merge branch 'main' of <a href=\"https://github.com/stickyPiston/pie-ts\">https://github.com/stickyPiston/pie-ts</a>"}},{"before":"7a156bb3256a97d1294b7ea8c5cd2a9d33253b9a","after":"51d004c857973d66734142bc6245a64d2bdb8092","ref":"refs/heads/main","pushedAt":"2023-05-23T21:06:36.764Z","pushType":"push","commitsCount":2,"pusher":{"login":"stickyPiston","name":"Job Vonk","path":"/stickyPiston","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/40258980?s=80&v=4"},"commit":{"message":"Added η-rules for Nat and Σ eliminators","shortMessageHtmlLink":"Added η-rules for Nat and Σ eliminators"}},{"before":"9ceae4ba86fab8a7deaea97eec401aeba61e1abb","after":"7a156bb3256a97d1294b7ea8c5cd2a9d33253b9a","ref":"refs/heads/main","pushedAt":"2023-05-23T18:10:16.107Z","pushType":"push","commitsCount":1,"pusher":{"login":"stickyPiston","name":"Job Vonk","path":"/stickyPiston","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/40258980?s=80&v=4"},"commit":{"message":"Added read_back implementations for Value classes","shortMessageHtmlLink":"Added read_back implementations for Value classes"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADgoqCegA","startCursor":null,"endCursor":null}},"title":"Activity · stickyPiston/pie-ts"}