{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":705599068,"defaultBranch":"main","name":"resin","ownerLogin":"lambduli","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-10-16T10:27:55.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/6469748?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1700591922.0","currentOid":""},"activityList":{"items":[{"before":"59a9c4a772d4649b1094dd2b279a7d79b6a78ddc","after":"6211005181ab98e7cbf790f3359bf9fbfc4180d9","ref":"refs/heads/main","pushedAt":"2024-04-11T16:45:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lambduli","name":"Jan Liam Verter","path":"/lambduli","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6469748?s=80&v=4"},"commit":{"message":"fix the grammar","shortMessageHtmlLink":"fix the grammar"}},{"before":"c9f6e14ab3ee04d61b5d3ac89c972e01d4a6c25c","after":"59a9c4a772d4649b1094dd2b279a7d79b6a78ddc","ref":"refs/heads/main","pushedAt":"2024-04-11T14:40:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lambduli","name":"Jan Liam Verter","path":"/lambduli","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6469748?s=80&v=4"},"commit":{"message":"update base","shortMessageHtmlLink":"update base"}},{"before":"f191092191762dde258a5607afa68aa7463ee0b4","after":"c9f6e14ab3ee04d61b5d3ac89c972e01d4a6c25c","ref":"refs/heads/main","pushedAt":"2024-01-17T13:22:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lambduli","name":"Jan Liam Verter","path":"/lambduli","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6469748?s=80&v=4"},"commit":{"message":"add support for aliases and allow variables to start with a digit","shortMessageHtmlLink":"add support for aliases and allow variables to start with a digit"}},{"before":"f1d576f87f0d9b575d3c29b16ced23229e1d528b","after":"f191092191762dde258a5607afa68aa7463ee0b4","ref":"refs/heads/main","pushedAt":"2024-01-16T21:41:08.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"lambduli","name":"Jan Liam Verter","path":"/lambduli","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6469748?s=80&v=4"},"commit":{"message":"make the example a bit more readable","shortMessageHtmlLink":"make the example a bit more readable"}},{"before":"67cdf50b0a1bd14106238c08e0668332b0292b96","after":"f1d576f87f0d9b575d3c29b16ced23229e1d528b","ref":"refs/heads/main","pushedAt":"2023-12-05T13:20:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lambduli","name":"Jan Liam Verter","path":"/lambduli","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6469748?s=80&v=4"},"commit":{"message":"clean up a bit","shortMessageHtmlLink":"clean up a bit"}},{"before":"cd349f93843f15790666dd02695e3b3a23b79186","after":"67cdf50b0a1bd14106238c08e0668332b0292b96","ref":"refs/heads/main","pushedAt":"2023-12-04T20:26:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lambduli","name":"Jan Liam Verter","path":"/lambduli","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6469748?s=80&v=4"},"commit":{"message":"cleanup","shortMessageHtmlLink":"cleanup"}},{"before":"bee2c37fda8caac7afe116252f50ff8314a9f925","after":"cd349f93843f15790666dd02695e3b3a23b79186","ref":"refs/heads/main","pushedAt":"2023-12-02T22:45:43.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"lambduli","name":"Jan Liam Verter","path":"/lambduli","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6469748?s=80&v=4"},"commit":{"message":"replace `error` with `throwErrror`","shortMessageHtmlLink":"replace <code>error</code> with <code>throwErrror</code>"}},{"before":"ffefd6ea00113db13812f8debe39c08da781c303","after":"bee2c37fda8caac7afe116252f50ff8314a9f925","ref":"refs/heads/main","pushedAt":"2023-12-02T22:45:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lambduli","name":"Jan Liam Verter","path":"/lambduli","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6469748?s=80&v=4"},"commit":{"message":"replace `error` with `throwErrror`","shortMessageHtmlLink":"replace <code>error</code> with <code>throwErrror</code>"}},{"before":"0b4eca485b0ec5ee10cbc0176c6c62f688b9abe2","after":"ffefd6ea00113db13812f8debe39c08da781c303","ref":"refs/heads/main","pushedAt":"2023-12-02T12:59:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lambduli","name":"Jan Liam Verter","path":"/lambduli","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6469748?s=80&v=4"},"commit":{"message":"fix the output and instruction for :cnf on existentials","shortMessageHtmlLink":"fix the output and instruction for :cnf on existentials"}},{"before":"afe2c4fe6699a28874f651f4e26aa6639ed53553","after":"0b4eca485b0ec5ee10cbc0176c6c62f688b9abe2","ref":"refs/heads/main","pushedAt":"2023-12-02T12:55:17.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"lambduli","name":"Jan Liam Verter","path":"/lambduli","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6469748?s=80&v=4"},"commit":{"message":"cleanup and write some more text to README","shortMessageHtmlLink":"cleanup and write some more text to README"}},{"before":"e0afb84ba05dd1902db9e60ed210cb80bc8d6423","after":"afe2c4fe6699a28874f651f4e26aa6639ed53553","ref":"refs/heads/main","pushedAt":"2023-11-30T13:38:17.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"lambduli","name":"Jan Liam Verter","path":"/lambduli","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6469748?s=80&v=4"},"commit":{"message":"implement: even the ordinary entailment check is now a `find`","shortMessageHtmlLink":"implement: even the ordinary entailment check is now a <code>find</code>"}},{"before":"f865c9966aeb6350de396bc82f264255e84f4b2b","after":"e0afb84ba05dd1902db9e60ed210cb80bc8d6423","ref":"refs/heads/main","pushedAt":"2023-11-30T12:07:06.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"lambduli","name":"Jan Liam Verter","path":"/lambduli","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6469748?s=80&v=4"},"commit":{"message":"add a few comments and type annotations","shortMessageHtmlLink":"add a few comments and type annotations"}},{"before":"298c86b6779104bbd3c430cff3eaa032fdae76fa","after":"f865c9966aeb6350de396bc82f264255e84f4b2b","ref":"refs/heads/main","pushedAt":"2023-11-28T16:32:48.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"lambduli","name":"Jan Liam Verter","path":"/lambduli","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6469748?s=80&v=4"},"commit":{"message":"clean up and introduce helpful type aliases","shortMessageHtmlLink":"clean up and introduce helpful type aliases"}},{"before":"0aec9f3e64846aca4eb0154b4d0f77c1d1a9b921","after":"298c86b6779104bbd3c430cff3eaa032fdae76fa","ref":"refs/heads/main","pushedAt":"2023-11-27T22:59:31.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"lambduli","name":"Jan Liam Verter","path":"/lambduli","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6469748?s=80&v=4"},"commit":{"message":"write more into the syntax section and some other places","shortMessageHtmlLink":"write more into the syntax section and some other places"}},{"before":"d6ea12eaef99b89bec73f15973fd2a69796eb8e7","after":"0aec9f3e64846aca4eb0154b4d0f77c1d1a9b921","ref":"refs/heads/main","pushedAt":"2023-11-24T21:36:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lambduli","name":"Jan Liam Verter","path":"/lambduli","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6469748?s=80&v=4"},"commit":{"message":"indentation","shortMessageHtmlLink":"indentation"}},{"before":"94faee6f864fe0998aee7032a04b396c5055ea51","after":"d6ea12eaef99b89bec73f15973fd2a69796eb8e7","ref":"refs/heads/main","pushedAt":"2023-11-24T20:50:19.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"lambduli","name":"Jan Liam Verter","path":"/lambduli","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6469748?s=80&v=4"},"commit":{"message":"make various parens legal in terms too","shortMessageHtmlLink":"make various parens legal in terms too"}},{"before":"9df75276c54a03da6b93eb5530dcea2f63ef6a24","after":null,"ref":"refs/heads/subsumption-and-replacement","pushedAt":"2023-11-21T18:38:42.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"lambduli","name":"Jan Liam Verter","path":"/lambduli","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6469748?s=80&v=4"}},{"before":"0741845f0cec44af84150670984fabf1a3784a33","after":"94faee6f864fe0998aee7032a04b396c5055ea51","ref":"refs/heads/main","pushedAt":"2023-11-21T18:38:36.000Z","pushType":"pr_merge","commitsCount":9,"pusher":{"login":"lambduli","name":"Jan Liam Verter","path":"/lambduli","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6469748?s=80&v=4"},"commit":{"message":"Merge pull request #1 from lambduli/subsumption-and-replacement\n\nSubsumption and replacement","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2004920361\" data-permission-text=\"Title is private\" data-url=\"https://github.com/lambduli/resin/issues/1\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/lambduli/resin/pull/1/hovercard\" href=\"https://github.com/lambduli/resin/pull/1\">#1</a> from lambduli/subsumption-and-replacement"}},{"before":"449827a14880744056408733da91b3f2c484a0af","after":"9df75276c54a03da6b93eb5530dcea2f63ef6a24","ref":"refs/heads/subsumption-and-replacement","pushedAt":"2023-11-21T18:33:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lambduli","name":"Jan Liam Verter","path":"/lambduli","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6469748?s=80&v=4"},"commit":{"message":"make it not enter a repl in a check-from-cmd line mode","shortMessageHtmlLink":"make it not enter a repl in a check-from-cmd line mode"}},{"before":"ea763b7ac9221c1f9fd4e501c5ad07c6a76e5052","after":"449827a14880744056408733da91b3f2c484a0af","ref":"refs/heads/subsumption-and-replacement","pushedAt":"2023-11-21T18:20:58.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"lambduli","name":"Jan Liam Verter","path":"/lambduli","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6469748?s=80&v=4"},"commit":{"message":"a simple list examples","shortMessageHtmlLink":"a simple list examples"}},{"before":"9ebc0d9749d04307af808858ad43d90c9e2c8eb4","after":"ea763b7ac9221c1f9fd4e501c5ad07c6a76e5052","ref":"refs/heads/subsumption-and-replacement","pushedAt":"2023-11-21T13:26:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lambduli","name":"Jan Liam Verter","path":"/lambduli","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6469748?s=80&v=4"},"commit":{"message":"fix the parsing and add a list example file","shortMessageHtmlLink":"fix the parsing and add a list example file"}},{"before":"972e9b98e44f462808d8543bb7e7306a96a639e5","after":"9ebc0d9749d04307af808858ad43d90c9e2c8eb4","ref":"refs/heads/subsumption-and-replacement","pushedAt":"2023-11-21T13:08:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lambduli","name":"Jan Liam Verter","path":"/lambduli","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6469748?s=80&v=4"},"commit":{"message":"add a support for constructive existential queries (somewhat)","shortMessageHtmlLink":"add a support for constructive existential queries (somewhat)"}},{"before":"64505255a9ea7438d68d230fbb229f99b58dcd23","after":"972e9b98e44f462808d8543bb7e7306a96a639e5","ref":"refs/heads/subsumption-and-replacement","pushedAt":"2023-11-19T18:53:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lambduli","name":"Jan Liam Verter","path":"/lambduli","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6469748?s=80&v=4"},"commit":{"message":"cleaning up and optimizing","shortMessageHtmlLink":"cleaning up and optimizing"}},{"before":null,"after":"64505255a9ea7438d68d230fbb229f99b58dcd23","ref":"refs/heads/subsumption-and-replacement","pushedAt":"2023-11-18T21:08:32.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"lambduli","name":"Jan Liam Verter","path":"/lambduli","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6469748?s=80&v=4"},"commit":{"message":"implement the forward subsumption and backward replacement","shortMessageHtmlLink":"implement the forward subsumption and backward replacement"}},{"before":"0511689b90c28727489bf74247459683999d5f52","after":"0741845f0cec44af84150670984fabf1a3784a33","ref":"refs/heads/main","pushedAt":"2023-11-17T16:31:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lambduli","name":"Jan Liam Verter","path":"/lambduli","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6469748?s=80&v=4"},"commit":{"message":"implement the subsumption and forward deletion and backward replacement","shortMessageHtmlLink":"implement the subsumption and forward deletion and backward replacement"}},{"before":"48274174b33d85ac8e927945b78849141064ba34","after":"0511689b90c28727489bf74247459683999d5f52","ref":"refs/heads/main","pushedAt":"2023-11-17T11:02:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lambduli","name":"Jan Liam Verter","path":"/lambduli","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6469748?s=80&v=4"},"commit":{"message":"a bunch of things","shortMessageHtmlLink":"a bunch of things"}},{"before":"00c410d5ed10e4812baede5688d53b1692c64af0","after":"48274174b33d85ac8e927945b78849141064ba34","ref":"refs/heads/main","pushedAt":"2023-11-16T11:44:35.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"lambduli","name":"Jan Liam Verter","path":"/lambduli","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6469748?s=80&v=4"},"commit":{"message":"add more details","shortMessageHtmlLink":"add more details"}},{"before":"90d4dbffb4914699baaa4a38d1340d0cd8ef82b0","after":"00c410d5ed10e4812baede5688d53b1692c64af0","ref":"refs/heads/main","pushedAt":"2023-11-16T11:43:49.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"lambduli","name":"Jan Liam Verter","path":"/lambduli","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6469748?s=80&v=4"},"commit":{"message":"add more details","shortMessageHtmlLink":"add more details"}},{"before":"bc0e9238d46cce07ad2062f14294e8f5505cdf79","after":"90d4dbffb4914699baaa4a38d1340d0cd8ef82b0","ref":"refs/heads/main","pushedAt":"2023-11-16T11:42:24.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"lambduli","name":"Jan Liam Verter","path":"/lambduli","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6469748?s=80&v=4"},"commit":{"message":"add more details","shortMessageHtmlLink":"add more details"}},{"before":"8c5bd88c26b6b79fada93827785231296985bac9","after":"bc0e9238d46cce07ad2062f14294e8f5505cdf79","ref":"refs/heads/main","pushedAt":"2023-11-16T11:18:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lambduli","name":"Jan Liam Verter","path":"/lambduli","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6469748?s=80&v=4"},"commit":{"message":"fix up the readme and add more info","shortMessageHtmlLink":"fix up the readme and add more info"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAELlElMAA","startCursor":null,"endCursor":null}},"title":"Activity · lambduli/resin"}