{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":731075923,"defaultBranch":"main","name":"contra","ownerLogin":"SophieBosio","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-12-13T09:58:45.000Z","ownerAvatar":"https://github.com/avatars/u/65249932?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1715076514.0","currentOid":""},"activityList":{"items":[{"before":"deaaa0ff9122e4fa4a193a68a7b629183b8bce55","after":"1561a2d884084bcd1c2c768c2660e61b8ccc72b4","ref":"refs/heads/main","pushedAt":"2024-07-15T21:15:39.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"SophieBosio","name":"Sophie Bosio","path":"/SophieBosio","primaryAvatarUrl":"https://github.com/avatars/u/65249932?s=80&v=4"},"commit":{"message":"Update README","shortMessageHtmlLink":"Update README"}},{"before":"32788c9a0bbf3b1dfb8784fc35c5d5dabf7131e6","after":"deaaa0ff9122e4fa4a193a68a7b629183b8bce55","ref":"refs/heads/main","pushedAt":"2024-06-10T21:42:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"SophieBosio","name":"Sophie Bosio","path":"/SophieBosio","primaryAvatarUrl":"https://github.com/avatars/u/65249932?s=80&v=4"},"commit":{"message":"Prettier symbols & messages","shortMessageHtmlLink":"Prettier symbols &amp; messages"}},{"before":"9ec16bd4fe86f8ad4db165e099cca3f0d2b0fc8e","after":"32788c9a0bbf3b1dfb8784fc35c5d5dabf7131e6","ref":"refs/heads/main","pushedAt":"2024-06-10T11:18:03.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"SophieBosio","name":"Sophie Bosio","path":"/SophieBosio","primaryAvatarUrl":"https://github.com/avatars/u/65249932?s=80&v=4"},"commit":{"message":"Simplify: Just query bindings","shortMessageHtmlLink":"Simplify: Just query bindings"}},{"before":"d59ee896015bdcca5bb2a9af0a73d97bc6bb5397","after":"9ec16bd4fe86f8ad4db165e099cca3f0d2b0fc8e","ref":"refs/heads/main","pushedAt":"2024-05-14T20:51:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"SophieBosio","name":"Sophie Bosio","path":"/SophieBosio","primaryAvatarUrl":"https://github.com/avatars/u/65249932?s=80&v=4"},"commit":{"message":"Update README","shortMessageHtmlLink":"Update README"}},{"before":"f27806d1def804b74a258ae8cb70b36508a9861c","after":"d59ee896015bdcca5bb2a9af0a73d97bc6bb5397","ref":"refs/heads/main","pushedAt":"2024-05-14T20:40:58.000Z","pushType":"push","commitsCount":13,"pusher":{"login":"SophieBosio","name":"Sophie Bosio","path":"/SophieBosio","primaryAvatarUrl":"https://github.com/avatars/u/65249932?s=80&v=4"},"commit":{"message":"Fixed bug: Units aren't printed","shortMessageHtmlLink":"Fixed bug: Units aren't printed"}},{"before":"e21ae20c3401a54efddf5c738a7111da5708390e","after":"f27806d1def804b74a258ae8cb70b36508a9861c","ref":"refs/heads/main","pushedAt":"2024-05-13T19:04:23.000Z","pushType":"push","commitsCount":9,"pusher":{"login":"SophieBosio","name":"Sophie Bosio","path":"/SophieBosio","primaryAvatarUrl":"https://github.com/avatars/u/65249932?s=80&v=4"},"commit":{"message":"Consolidate examples a bit more","shortMessageHtmlLink":"Consolidate examples a bit more"}},{"before":"1bf35e5b671671c4d7422a04385396cec40ac26d","after":"e21ae20c3401a54efddf5c738a7111da5708390e","ref":"refs/heads/main","pushedAt":"2024-05-12T20:36:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"SophieBosio","name":"Sophie Bosio","path":"/SophieBosio","primaryAvatarUrl":"https://github.com/avatars/u/65249932?s=80&v=4"},"commit":{"message":"Comply with linter","shortMessageHtmlLink":"Comply with linter"}},{"before":"d557d1623682696c7ef85ccfbc32b45a6e325d84","after":"1bf35e5b671671c4d7422a04385396cec40ac26d","ref":"refs/heads/main","pushedAt":"2024-05-12T20:34:20.000Z","pushType":"push","commitsCount":10,"pusher":{"login":"SophieBosio","name":"Sophie Bosio","path":"/SophieBosio","primaryAvatarUrl":"https://github.com/avatars/u/65249932?s=80&v=4"},"commit":{"message":"Examples","shortMessageHtmlLink":"Examples"}},{"before":"2b78ff57434781cf29c9cc7c3ab2a43df90e84ec","after":"d557d1623682696c7ef85ccfbc32b45a6e325d84","ref":"refs/heads/main","pushedAt":"2024-05-11T19:29:13.000Z","pushType":"push","commitsCount":16,"pusher":{"login":"SophieBosio","name":"Sophie Bosio","path":"/SophieBosio","primaryAvatarUrl":"https://github.com/avatars/u/65249932?s=80&v=4"},"commit":{"message":"Comply with linter","shortMessageHtmlLink":"Comply with linter"}},{"before":"345a3dc71b9b4a30c5b45082d26322f24a004c47","after":"2b78ff57434781cf29c9cc7c3ab2a43df90e84ec","ref":"refs/heads/main","pushedAt":"2024-05-07T10:09:02.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"SophieBosio","name":"Sophie Bosio","path":"/SophieBosio","primaryAvatarUrl":"https://github.com/avatars/u/65249932?s=80&v=4"},"commit":{"message":"Add Symbolic ADTs! (#5)\n\n* Fix: Now you can define multi-char REPL vars!\r\n\r\n* Clean up old redundancy\r\n\r\n* Fix duplication bug in PartialEvaluator!!\r\n\r\n* Revert \"Fix duplication bug in PartialEvaluator!!\"\r\n\r\nThis reverts commit 8f1202c170b79aa78ea130fef27a87c432ae6dee.\r\n\r\n* Overhaul of the PartialEvaluator\r\n\r\n* General cleanup, plus some helper functions\r\n\r\n* Update some examples\r\n\r\n* Handle external function calls\r\n\r\n* Don't mix SBV into Syntax\r\n\r\n* Avoid redundancy: Just need State\r\n\r\n* Missed a canonical term!\r\n\r\n* Cleaner code\r\n\r\n* Handle recursive functions gracefully!\r\n\r\n* Use * for sections\r\n\r\n* Restructure\r\n\r\n* Comments & examples\r\n\r\n* Add SADT\r\n\r\n* Extend environment with cardinality and selector\r\n\r\n* Add 'reconstruct'\r\n\r\n* Mergeable and sEqual!\r\n\r\n* Update Translator\r\n\r\n* Coerce sketch\r\n\r\n* Remove old implementation\r\n\r\n* With random strings!\r\n\r\n* Use field names instead!","shortMessageHtmlLink":"Add Symbolic ADTs! (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2282830547\" data-permission-text=\"Title is private\" data-url=\"https://github.com/SophieBosio/contra/issues/5\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/SophieBosio/contra/pull/5/hovercard\" href=\"https://github.com/SophieBosio/contra/pull/5\">#5</a>)"}},{"before":null,"after":"aced60ed7fa2445276e62a7562faaa0d91bca2e9","ref":"refs/heads/SADTs","pushedAt":"2024-05-07T10:08:34.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"SophieBosio","name":"Sophie Bosio","path":"/SophieBosio","primaryAvatarUrl":"https://github.com/avatars/u/65249932?s=80&v=4"},"commit":{"message":"Use field names instead!","shortMessageHtmlLink":"Use field names instead!"}},{"before":"d83c14a026c9399e8efe43d4d9d380a50608a226","after":"345a3dc71b9b4a30c5b45082d26322f24a004c47","ref":"refs/heads/main","pushedAt":"2024-05-03T19:20:18.000Z","pushType":"push","commitsCount":9,"pusher":{"login":"SophieBosio","name":"Sophie Bosio","path":"/SophieBosio","primaryAvatarUrl":"https://github.com/avatars/u/65249932?s=80&v=4"},"commit":{"message":"Save defs in REPL dynamically!","shortMessageHtmlLink":"Save defs in REPL dynamically!"}},{"before":"d0b8a0c0b937aa03f7bb2acbcf58b777e07e1502","after":null,"ref":"refs/heads/separate-SADTs","pushedAt":"2024-04-30T13:53:40.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"SophieBosio","name":"Sophie Bosio","path":"/SophieBosio","primaryAvatarUrl":"https://github.com/avatars/u/65249932?s=80&v=4"}},{"before":"5dba64e8770ebe04011239d04e2ca487a91a10b4","after":"d83c14a026c9399e8efe43d4d9d380a50608a226","ref":"refs/heads/main","pushedAt":"2024-04-30T13:53:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"SophieBosio","name":"Sophie Bosio","path":"/SophieBosio","primaryAvatarUrl":"https://github.com/avatars/u/65249932?s=80&v=4"},"commit":{"message":"List example","shortMessageHtmlLink":"List example"}},{"before":"758548a843b1feb4c0245a5e08be9581c14878d9","after":"5dba64e8770ebe04011239d04e2ca487a91a10b4","ref":"refs/heads/main","pushedAt":"2024-04-29T12:55:37.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"SophieBosio","name":"Sophie Bosio","path":"/SophieBosio","primaryAvatarUrl":"https://github.com/avatars/u/65249932?s=80&v=4"},"commit":{"message":"Create ADTs separately (#3)\n\nUse SCtrs with ADT Name, Constructor Name, and SValue fields.\r\nCreate symbolic ADTs by using a symbolic selector value and instantiate fields recursively, selecting the instance with nested 'merge' calls (if-then-else).","shortMessageHtmlLink":"Create ADTs separately (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2268969703\" data-permission-text=\"Title is private\" data-url=\"https://github.com/SophieBosio/contra/issues/3\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/SophieBosio/contra/pull/3/hovercard\" href=\"https://github.com/SophieBosio/contra/pull/3\">#3</a>)"}},{"before":"87c4419a90210a28d31efb19f35173bdae8c7cf5","after":"758548a843b1feb4c0245a5e08be9581c14878d9","ref":"refs/heads/main","pushedAt":"2024-04-29T12:53:31.000Z","pushType":"push","commitsCount":20,"pusher":{"login":"SophieBosio","name":"Sophie Bosio","path":"/SophieBosio","primaryAvatarUrl":"https://github.com/avatars/u/65249932?s=80&v=4"},"commit":{"message":"Reworking examples sligtly","shortMessageHtmlLink":"Reworking examples sligtly"}},{"before":null,"after":"d0b8a0c0b937aa03f7bb2acbcf58b777e07e1502","ref":"refs/heads/separate-SADTs","pushedAt":"2024-04-29T12:53:22.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"SophieBosio","name":"Sophie Bosio","path":"/SophieBosio","primaryAvatarUrl":"https://github.com/avatars/u/65249932?s=80&v=4"},"commit":{"message":"Clean up","shortMessageHtmlLink":"Clean up"}},{"before":"f4056270067f90857cbea77601474998e57787f4","after":"87c4419a90210a28d31efb19f35173bdae8c7cf5","ref":"refs/heads/main","pushedAt":"2024-04-24T09:31:45.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"SophieBosio","name":"Sophie Bosio","path":"/SophieBosio","primaryAvatarUrl":"https://github.com/avatars/u/65249932?s=80&v=4"},"commit":{"message":"Fix tests","shortMessageHtmlLink":"Fix tests"}},{"before":"4b7ace96573dcf8284c2440c9d9594169335a7e2","after":"f4056270067f90857cbea77601474998e57787f4","ref":"refs/heads/main","pushedAt":"2024-04-22T20:47:57.000Z","pushType":"push","commitsCount":11,"pusher":{"login":"SophieBosio","name":"Sophie Bosio","path":"/SophieBosio","primaryAvatarUrl":"https://github.com/avatars/u/65249932?s=80&v=4"},"commit":{"message":"Updated all descriptions","shortMessageHtmlLink":"Updated all descriptions"}},{"before":"0eca9fe742e09c1bc1f0a51602360bde531e6e58","after":"4b7ace96573dcf8284c2440c9d9594169335a7e2","ref":"refs/heads/main","pushedAt":"2024-04-20T17:53:20.000Z","pushType":"push","commitsCount":19,"pusher":{"login":"SophieBosio","name":"Sophie Bosio","path":"/SophieBosio","primaryAvatarUrl":"https://github.com/avatars/u/65249932?s=80&v=4"},"commit":{"message":"Add some examples: Congruence and ill-typed property","shortMessageHtmlLink":"Add some examples: Congruence and ill-typed property"}},{"before":"8fbe4a7bbb9a5717f28672b46f5ccca39782158e","after":"0eca9fe742e09c1bc1f0a51602360bde531e6e58","ref":"refs/heads/main","pushedAt":"2024-04-17T12:19:36.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"SophieBosio","name":"Sophie Bosio","path":"/SophieBosio","primaryAvatarUrl":"https://github.com/avatars/u/65249932?s=80&v=4"},"commit":{"message":"Rename type 'Args' -> 'Tuple'","shortMessageHtmlLink":"Rename type 'Args' -&gt; 'Tuple'"}},{"before":null,"after":"03672942caaa3e904f5b7bf3db30d0d8dc69b3be","ref":"refs/heads/recursion","pushedAt":"2024-04-17T09:17:53.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"SophieBosio","name":"Sophie Bosio","path":"/SophieBosio","primaryAvatarUrl":"https://github.com/avatars/u/65249932?s=80&v=4"},"commit":{"message":"Add TODO for translating Rec terms","shortMessageHtmlLink":"Add TODO for translating Rec terms"}},{"before":"3378632fbd594c4410fb2bec0653514b7eef625a","after":"8fbe4a7bbb9a5717f28672b46f5ccca39782158e","ref":"refs/heads/main","pushedAt":"2024-04-16T13:14:15.000Z","pushType":"push","commitsCount":32,"pusher":{"login":"SophieBosio","name":"Sophie Bosio","path":"/SophieBosio","primaryAvatarUrl":"https://github.com/avatars/u/65249932?s=80&v=4"},"commit":{"message":"Cleanup","shortMessageHtmlLink":"Cleanup"}},{"before":"fd1b7e727abd5ec040f83462f72ed02a20852c78","after":"3378632fbd594c4410fb2bec0653514b7eef625a","ref":"refs/heads/main","pushedAt":"2024-04-09T08:51:48.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"SophieBosio","name":"Sophie Bosio","path":"/SophieBosio","primaryAvatarUrl":"https://github.com/avatars/u/65249932?s=80&v=4"},"commit":{"message":"Clean up before merge","shortMessageHtmlLink":"Clean up before merge"}},{"before":"81580c43116d9906838fd22e3b235c355d08a090","after":"fd1b7e727abd5ec040f83462f72ed02a20852c78","ref":"refs/heads/main","pushedAt":"2024-04-07T15:05:29.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"SophieBosio","name":"Sophie Bosio","path":"/SophieBosio","primaryAvatarUrl":"https://github.com/avatars/u/65249932?s=80&v=4"},"commit":{"message":"Consistency: 'p' -> 'program', system messages start with '-*-'","shortMessageHtmlLink":"Consistency: 'p' -&gt; 'program', system messages start with '-*-'"}},{"before":"d0f8245ef5a0ad294a4eb2c1bc471bec4d74c71c","after":"81580c43116d9906838fd22e3b235c355d08a090","ref":"refs/heads/main","pushedAt":"2024-04-07T14:27:49.000Z","pushType":"push","commitsCount":14,"pusher":{"login":"SophieBosio","name":"Sophie Bosio","path":"/SophieBosio","primaryAvatarUrl":"https://github.com/avatars/u/65249932?s=80&v=4"},"commit":{"message":"Comments with clarification","shortMessageHtmlLink":"Comments with clarification"}},{"before":"389c9f4c43c7ada861c52bc5bceed02284d7b5fb","after":"d0f8245ef5a0ad294a4eb2c1bc471bec4d74c71c","ref":"refs/heads/main","pushedAt":"2024-04-04T09:54:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"SophieBosio","name":"Sophie Bosio","path":"/SophieBosio","primaryAvatarUrl":"https://github.com/avatars/u/65249932?s=80&v=4"},"commit":{"message":"Update README with CLI instructions","shortMessageHtmlLink":"Update README with CLI instructions"}},{"before":"a910a7416d0fdd8339bf42cebc21b76aa37c4b0b","after":"389c9f4c43c7ada861c52bc5bceed02284d7b5fb","ref":"refs/heads/main","pushedAt":"2024-04-04T09:28:06.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"SophieBosio","name":"Sophie Bosio","path":"/SophieBosio","primaryAvatarUrl":"https://github.com/avatars/u/65249932?s=80&v=4"},"commit":{"message":"Better naming","shortMessageHtmlLink":"Better naming"}},{"before":"10236e1cdd4d1782fa7eb60845e88cef08688358","after":null,"ref":"refs/heads/lambda-tuples","pushedAt":"2024-04-04T09:24:00.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"SophieBosio","name":"Sophie Bosio","path":"/SophieBosio","primaryAvatarUrl":"https://github.com/avatars/u/65249932?s=80&v=4"}},{"before":"212d412d5eb72c7765da6a9d4bcfcf64edb789ea","after":"a910a7416d0fdd8339bf42cebc21b76aa37c4b0b","ref":"refs/heads/main","pushedAt":"2024-04-04T09:23:56.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"SophieBosio","name":"Sophie Bosio","path":"/SophieBosio","primaryAvatarUrl":"https://github.com/avatars/u/65249932?s=80&v=4"},"commit":{"message":"Generalise patterns in Lambdas and Lets to allow flattening functionn definitions using Lists as under-the-hood data structure (#2)\n\n* Remove MultipleFunctions error type from parser\r\n\r\n* Added DifferentNumbersOfArguments error type to Parser\r\n\r\n* Rename overloaded 'subst' to 'replaceWithIn'\r\n\r\n* Update 'replaceWithIn' to work for all patterns\r\n\r\n* Update utility functions to account for Args type\r\n\r\n* Add examples and TODOs\r\n\r\n* Test flattening programs\r\n\r\n* Flatten terms properly!\r\n\r\n* 'annotate' for Lambdas and Case, with 'liftInput'\r\n\r\nJoachim helped debug issues with the 'liftInput' functions and the way\r\nCase statements were previously annotated. Then, we were able to\r\ndrastically simplify 'annotate' for Lambdas.\r\n\r\n* Type-annotate Lets correctly\r\n\r\n* Add biased unifier\r\n\r\n* Evaluate Lets with biased unifier\r\n\r\n* Partially evaluate Let and Lambdas with generalised patterns!","shortMessageHtmlLink":"Generalise patterns in Lambdas and Lets to allow flattening functionn…"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEgCIejAA","startCursor":null,"endCursor":null}},"title":"Activity · SophieBosio/contra"}