{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":256013824,"defaultBranch":"main","name":"libretto","ownerLogin":"TomasMikula","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2020-04-15T19:15:06.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/433439?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1714600415.0","currentOid":""},"activityList":{"items":[{"before":"e904c1e8d6bd4f17a2abf4a3963444954b11dea2","after":"9a35ccd13244514fb53ce625badf5cafbb1f19cf","ref":"refs/heads/patmat","pushedAt":"2024-05-19T21:47:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"TomasMikula","name":"Tomas Mikula","path":"/TomasMikula","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/433439?s=80&v=4"},"commit":{"message":"Support tracking DSL-specific information associated with lambda context.","shortMessageHtmlLink":"Support tracking DSL-specific information associated with lambda cont…"}},{"before":"3f3bf53fdc5fb44668e4631e3299ee251d5221f8","after":"e904c1e8d6bd4f17a2abf4a3963444954b11dea2","ref":"refs/heads/patmat","pushedAt":"2024-05-19T20:32:41.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"TomasMikula","name":"Tomas Mikula","path":"/TomasMikula","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/433439?s=80&v=4"},"commit":{"message":"Distinguish between unused variables and variables not used in all branches.","shortMessageHtmlLink":"Distinguish between unused variables and variables not used in all br…"}},{"before":"79448187aa7a3ee82a71c5423d7bd247d7b42505","after":"3f3bf53fdc5fb44668e4631e3299ee251d5221f8","ref":"refs/heads/patmat","pushedAt":"2024-05-19T16:34:44.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"TomasMikula","name":"Tomas Mikula","path":"/TomasMikula","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/433439?s=80&v=4"},"commit":{"message":"Don't lump multiple linearity violations into one.\n\nReturn a non-empty list of them instead.\n\nAlso, get rid of redundant types LinCheck and LinearRes.","shortMessageHtmlLink":"Don't lump multiple linearity violations into one."}},{"before":"15f202bffb3c776a2c93b44f7471ea192765b979","after":"79448187aa7a3ee82a71c5423d7bd247d7b42505","ref":"refs/heads/patmat","pushedAt":"2024-05-19T15:19:22.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"TomasMikula","name":"Tomas Mikula","path":"/TomasMikula","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/433439?s=80&v=4"},"commit":{"message":"Improve error reporting in FreeScaletto.","shortMessageHtmlLink":"Improve error reporting in FreeScaletto."}},{"before":"43f41f46dc8e6686a68d5feadcb2ff296c4de339","after":"15f202bffb3c776a2c93b44f7471ea192765b979","ref":"refs/heads/patmat","pushedAt":"2024-05-18T21:35:09.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"TomasMikula","name":"Tomas Mikula","path":"/TomasMikula","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/433439?s=80&v=4"},"commit":{"message":"Reformulate Applicative in terms of map, pure, zip, instead of ap and pure.","shortMessageHtmlLink":"Reformulate Applicative in terms of map, pure, zip, instead of ap and…"}},{"before":"178ad117594a77ee538b1404a43b366649fd7629","after":"43f41f46dc8e6686a68d5feadcb2ff296c4de339","ref":"refs/heads/patmat","pushedAt":"2024-05-17T15:37:17.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"TomasMikula","name":"Tomas Mikula","path":"/TomasMikula","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/433439?s=80&v=4"},"commit":{"message":"Pattern matching: filling in missing pieces (WIP).","shortMessageHtmlLink":"Pattern matching: filling in missing pieces (WIP)."}},{"before":"4c87d3f6c653f5fd5f7e2a9bf3482c7cbdc75e36","after":"178ad117594a77ee538b1404a43b366649fd7629","ref":"refs/heads/patmat","pushedAt":"2024-05-14T21:48:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"TomasMikula","name":"Tomas Mikula","path":"/TomasMikula","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/433439?s=80&v=4"},"commit":{"message":"Skeleton for pattern matching (continued).","shortMessageHtmlLink":"Skeleton for pattern matching (continued)."}},{"before":"b46a26c14065fa3f3a7c48a7ac570e8fa9831ead","after":"4c87d3f6c653f5fd5f7e2a9bf3482c7cbdc75e36","ref":"refs/heads/patmat","pushedAt":"2024-05-06T21:43:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"TomasMikula","name":"Tomas Mikula","path":"/TomasMikula","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/433439?s=80&v=4"},"commit":{"message":"Make Monad *not* extend Applicative.","shortMessageHtmlLink":"Make Monad *not* extend Applicative."}},{"before":"8e5411a77a89f0274148e2906e90109d746a8068","after":"b46a26c14065fa3f3a7c48a7ac570e8fa9831ead","ref":"refs/heads/patmat","pushedAt":"2024-05-05T21:26:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"TomasMikula","name":"Tomas Mikula","path":"/TomasMikula","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/433439?s=80&v=4"},"commit":{"message":"Skeleton for pattern matching.","shortMessageHtmlLink":"Skeleton for pattern matching."}},{"before":null,"after":"8e5411a77a89f0274148e2906e90109d746a8068","ref":"refs/heads/patmat","pushedAt":"2024-05-01T21:53:35.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"TomasMikula","name":"Tomas Mikula","path":"/TomasMikula","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/433439?s=80&v=4"},"commit":{"message":"Prep for pattern matching switch expression.","shortMessageHtmlLink":"Prep for pattern matching switch expression."}},{"before":"cc60b5f3578954a2a3db5f2199c760ceb0a796a4","after":null,"ref":"refs/heads/type-inference","pushedAt":"2024-04-27T09:41:12.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"TomasMikula","name":"Tomas Mikula","path":"/TomasMikula","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/433439?s=80&v=4"}},{"before":"c116f23d12305c5379eaa7d40eb8059ee5833e02","after":null,"ref":"refs/heads/adts","pushedAt":"2024-04-27T09:40:01.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"TomasMikula","name":"Tomas Mikula","path":"/TomasMikula","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/433439?s=80&v=4"}},{"before":"89a6e46ae3392e8f1afa3c563637712054a4899b","after":"c78fb309d6437ac0fb0f3ec3270d1e3a0aa7173b","ref":"refs/heads/main","pushedAt":"2024-04-24T20:45:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"TomasMikula","name":"Tomas Mikula","path":"/TomasMikula","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/433439?s=80&v=4"},"commit":{"message":"Update README.md: presentation links + one-line descriptions.","shortMessageHtmlLink":"Update README.md: presentation links + one-line descriptions."}},{"before":"346d153dd0bfcc8df24701857333411b11f1afff","after":"89a6e46ae3392e8f1afa3c563637712054a4899b","ref":"refs/heads/main","pushedAt":"2024-04-14T21:24:58.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"TomasMikula","name":"Tomas Mikula","path":"/TomasMikula","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/433439?s=80&v=4"},"commit":{"message":"Remove Zip, CaptureFst, CaptureSnd operations of HybridArrow.\n\nSuperceded by ZipN, CaptureN.","shortMessageHtmlLink":"Remove Zip, CaptureFst, CaptureSnd operations of HybridArrow."}},{"before":"f56c8463f4191e57482f6c6b21e19da9b83d9fa8","after":"346d153dd0bfcc8df24701857333411b11f1afff","ref":"refs/heads/main","pushedAt":"2024-04-13T21:53:20.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"TomasMikula","name":"Tomas Mikula","path":"/TomasMikula","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/433439?s=80&v=4"},"commit":{"message":"Refactoring of eliminating a variable from a forest of Expr trees.","shortMessageHtmlLink":"Refactoring of eliminating a variable from a forest of Expr trees."}},{"before":"b702a38a07c5d3bb356dad95cd64f73b5e30edb1","after":"f56c8463f4191e57482f6c6b21e19da9b83d9fa8","ref":"refs/heads/main","pushedAt":"2024-04-12T12:36:56.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"TomasMikula","name":"Tomas Mikula","path":"/TomasMikula","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/433439?s=80&v=4"},"commit":{"message":"Set version to 0.3-SNAPSHOT","shortMessageHtmlLink":"Set version to 0.3-SNAPSHOT"}},{"before":"8dfcd88335d572a445cde538d180fc0933fd9fbd","after":"b702a38a07c5d3bb356dad95cd64f73b5e30edb1","ref":"refs/heads/main","pushedAt":"2024-04-12T12:07:04.000Z","pushType":"push","commitsCount":51,"pusher":{"login":"TomasMikula","name":"Tomas Mikula","path":"/TomasMikula","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/433439?s=80&v=4"},"commit":{"message":"Update sbt plugins.","shortMessageHtmlLink":"Update sbt plugins."}},{"before":"15f205b24b02bddbea9479b82f6909ab0df3b68e","after":null,"ref":"refs/heads/kindville","pushedAt":"2024-04-12T11:58:12.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"TomasMikula","name":"Tomas Mikula","path":"/TomasMikula","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/433439?s=80&v=4"}},{"before":"25965c15e0ab4559e8cb9019cbace791eb4d932e","after":"c116f23d12305c5379eaa7d40eb8059ee5833e02","ref":"refs/heads/adts","pushedAt":"2024-04-11T20:46:30.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"TomasMikula","name":"Tomas Mikula","path":"/TomasMikula","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/433439?s=80&v=4"},"commit":{"message":"Add distLR for OneOf.","shortMessageHtmlLink":"Add distLR for OneOf."}},{"before":null,"after":"25965c15e0ab4559e8cb9019cbace791eb4d932e","ref":"refs/heads/adts","pushedAt":"2024-04-07T21:30:37.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"TomasMikula","name":"Tomas Mikula","path":"/TomasMikula","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/433439?s=80&v=4"},"commit":{"message":"ADTs kickoff","shortMessageHtmlLink":"ADTs kickoff"}},{"before":"9efabb4326975bb84b0a351b73ebc054f30ea5ed","after":"8dfcd88335d572a445cde538d180fc0933fd9fbd","ref":"refs/heads/main","pushedAt":"2024-04-05T12:13:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"TomasMikula","name":"Tomas Mikula","path":"/TomasMikula","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/433439?s=80&v=4"},"commit":{"message":"Update Scala version to 3.4.1","shortMessageHtmlLink":"Update Scala version to 3.4.1"}},{"before":"49244b27464f41ee414d296f6f02970ab7c9e81e","after":"15f205b24b02bddbea9479b82f6909ab0df3b68e","ref":"refs/heads/kindville","pushedAt":"2024-04-03T21:16:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"TomasMikula","name":"Tomas Mikula","path":"/TomasMikula","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/433439?s=80&v=4"},"commit":{"message":"kindville: A failed attempt at AListK.foldLeft","shortMessageHtmlLink":"kindville: A failed attempt at AListK.foldLeft"}},{"before":"f1b3d42d487b4ca80b90b972f58b899461ddac87","after":"49244b27464f41ee414d296f6f02970ab7c9e81e","ref":"refs/heads/kindville","pushedAt":"2024-03-31T22:24:31.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"TomasMikula","name":"Tomas Mikula","path":"/TomasMikula","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/433439?s=80&v=4"},"commit":{"message":"kindville: Add typecheck, polyFunApply, polyFunAt extension methods.","shortMessageHtmlLink":"kindville: Add typecheck, polyFunApply, polyFunAt extension methods."}},{"before":"bd29d7fe265a37c78fdaff3d26318423c606648f","after":"f1b3d42d487b4ca80b90b972f58b899461ddac87","ref":"refs/heads/kindville","pushedAt":"2024-03-28T22:33:29.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"TomasMikula","name":"Tomas Mikula","path":"/TomasMikula","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/433439?s=80&v=4"},"commit":{"message":"TypeEqK.{andThen, flip}","shortMessageHtmlLink":"TypeEqK.{andThen, flip}"}},{"before":"a5e20aff63bb9db516ec11358fa44edaa315311e","after":"bd29d7fe265a37c78fdaff3d26318423c606648f","ref":"refs/heads/kindville","pushedAt":"2024-03-26T22:58:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"TomasMikula","name":"Tomas Mikula","path":"/TomasMikula","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/433439?s=80&v=4"},"commit":{"message":"kindville: decodeCompositeExpr, parameterized by type parameters that are themselves parameterized by the spread operator.\n\nBox.pacK, built on top of Box.packer and decodeCompositeExpr (without an explicit macro).","shortMessageHtmlLink":"kindville: decodeCompositeExpr, parameterized by type parameters that…"}},{"before":"04511dad7cb741706ce7cc58b9995c7f12a3f754","after":"a5e20aff63bb9db516ec11358fa44edaa315311e","ref":"refs/heads/kindville","pushedAt":"2024-03-25T22:57:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"TomasMikula","name":"Tomas Mikula","path":"/TomasMikula","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/433439?s=80&v=4"},"commit":{"message":"kindville: Support parameterizing type arguments by the spread marker.","shortMessageHtmlLink":"kindville: Support parameterizing type arguments by the spread marker."}},{"before":"6dbc783675a7356c2985491e3d2a1dd12bc441d4","after":"04511dad7cb741706ce7cc58b9995c7f12a3f754","ref":"refs/heads/kindville","pushedAt":"2024-03-24T16:18:26.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"TomasMikula","name":"Tomas Mikula","path":"/TomasMikula","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/433439?s=80&v=4"},"commit":{"message":"kindville: kindsToBounds for higher kinds.","shortMessageHtmlLink":"kindville: kindsToBounds for higher kinds."}},{"before":"08384f4cd6b445e1fa551939360804c6aba9c29a","after":"6dbc783675a7356c2985491e3d2a1dd12bc441d4","ref":"refs/heads/kindville","pushedAt":"2024-03-24T12:11:59.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"TomasMikula","name":"Tomas Mikula","path":"/TomasMikula","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/433439?s=80&v=4"},"commit":{"message":"Flip order of type parameters of Box.pack/unpack (i.e. Code first).","shortMessageHtmlLink":"Flip order of type parameters of Box.pack/unpack (i.e. Code first)."}},{"before":"4cfdd9ce9458181c4cfe248adce8efd35606948b","after":"08384f4cd6b445e1fa551939360804c6aba9c29a","ref":"refs/heads/kindville","pushedAt":"2024-03-23T22:53:44.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"TomasMikula","name":"Tomas Mikula","path":"/TomasMikula","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/433439?s=80&v=4"},"commit":{"message":"kindville: decodeParameterizedTerm via decodeFun","shortMessageHtmlLink":"kindville: decodeParameterizedTerm via decodeFun"}},{"before":"0fc340331bc45391b21066dfab18501b689d0a58","after":"4cfdd9ce9458181c4cfe248adce8efd35606948b","ref":"refs/heads/kindville","pushedAt":"2024-03-23T14:37:17.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"TomasMikula","name":"Tomas Mikula","path":"/TomasMikula","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/433439?s=80&v=4"},"commit":{"message":"kindville: Generalize dedocing of types.\n\nUse to implement Box.packer[Code], which depends only on Code, not on type arguments.\n\nIn turn, use to implement FunctionK.make[K], dependent only on the kind, not on F, G.","shortMessageHtmlLink":"kindville: Generalize dedocing of types."}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAETkLOtAA","startCursor":null,"endCursor":null}},"title":"Activity · TomasMikula/libretto"}