{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":766818464,"defaultBranch":"master","name":"Combo","ownerLogin":"RockBrentwood","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2024-03-04T07:23:39.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/20602223?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1709538052.0","currentOid":""},"activityList":{"items":[{"before":"edef7856315471266bd7d25ebb8f50c6181a01bf","after":"d1d417e0d085793d4921060fe207d43ba3d4a7f4","ref":"refs/heads/master","pushedAt":"2024-03-31T06:09:49.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"RockBrentwood","name":null,"path":"/RockBrentwood","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20602223?s=80&v=4"},"commit":{"message":"Minor correction. Head's up: rebasing pending.\nTemporary commit; the whole commit stream is getting rolled back soon anyway,\nbecause the 1993-1994 sources will be injected at the bottom, rebased. and re-committed.","shortMessageHtmlLink":"Minor correction. Head's up: rebasing pending."}},{"before":"d1d417e0d085793d4921060fe207d43ba3d4a7f4","after":"edef7856315471266bd7d25ebb8f50c6181a01bf","ref":"refs/heads/master","pushedAt":"2024-03-31T06:01:43.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"RockBrentwood","name":null,"path":"/RockBrentwood","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20602223?s=80&v=4"},"commit":{"message":"Minor correction. Head's up: rebasing pending.\nTemporary commit; the whole commit stream is getting rolled back soon anyway,\nbecause the 1993-1994 sources will be injected at the bottom, rebased. and re-committed.","shortMessageHtmlLink":"Minor correction. Head's up: rebasing pending."}},{"before":"dac24d3daab2b8049146443fec43680cb60ec949","after":"d1d417e0d085793d4921060fe207d43ba3d4a7f4","ref":"refs/heads/master","pushedAt":"2024-03-22T11:31:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"RockBrentwood","name":null,"path":"/RockBrentwood","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20602223?s=80&v=4"},"commit":{"message":"Minor correction. Head's up: rebasing pending.\nTemporary commit; the whole commit stream is getting rolled back soon anyway,\nbecause the 1993-1994 sources will be injected at the bottom, rebased. and re-committed.","shortMessageHtmlLink":"Minor correction. Head's up: rebasing pending."}},{"before":"9b91b037a24eaaf830b944687d7fd2206768365b","after":"dac24d3daab2b8049146443fec43680cb60ec949","ref":"refs/heads/master","pushedAt":"2024-03-19T02:30:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"RockBrentwood","name":null,"path":"/RockBrentwood","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20602223?s=80&v=4"},"commit":{"message":"Added more material on rational infinite λ-terms\n▪\tAdded more references in the ToDo.txt file.\n▪\tAdded another demo file germaine to the issue.","shortMessageHtmlLink":"Added more material on rational infinite λ-terms"}},{"before":"9c5ae52f5d16bff8c7fa1a45681f6a788bb8e659","after":"9b91b037a24eaaf830b944687d7fd2206768365b","ref":"refs/heads/master","pushedAt":"2024-03-11T08:43:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"RockBrentwood","name":null,"path":"/RockBrentwood","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20602223?s=80&v=4"},"commit":{"message":"Added a compile-only option.","shortMessageHtmlLink":"Added a compile-only option."}},{"before":"32397187e3fe0e75a68924c5305aef62501d6192","after":"9c5ae52f5d16bff8c7fa1a45681f6a788bb8e659","ref":"refs/heads/master","pushedAt":"2024-03-10T22:00:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"RockBrentwood","name":null,"path":"/RockBrentwood","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20602223?s=80&v=4"},"commit":{"message":"A ToDo item added for rational infinite terms\n▪\tDetails on the generalization of Combo to handle rational infinite lambda terms has been added in the file ToDo.txt.\n▪\tA reference - the beginning of a reference list - has been added.\n\tOther references to the older USENET articles on the SEQCD and SECD-2 machines and Rational Infinite Lambda Calculus may be added later.\n▪\tThe generalization requires generalizing the\n\t―\tThe synatax for lambda terms\n\t―\tFree variable analysis for lambda terms\n\t―\tThe lambda abstraction algorithm\n\t―\tThe reduction algorithm to handle the expanded syntax.","shortMessageHtmlLink":"A ToDo item added for rational infinite terms"}},{"before":"bcc2714d0acbcee2422e9877dfd5dba358be9553","after":"32397187e3fe0e75a68924c5305aef62501d6192","ref":"refs/heads/master","pushedAt":"2024-03-10T21:59:34.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"RockBrentwood","name":null,"path":"/RockBrentwood","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20602223?s=80&v=4"},"commit":{"message":"Conversions of int to bool","shortMessageHtmlLink":"Conversions of int to bool"}},{"before":"32397187e3fe0e75a68924c5305aef62501d6192","after":"bcc2714d0acbcee2422e9877dfd5dba358be9553","ref":"refs/heads/master","pushedAt":"2024-03-10T21:54:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"RockBrentwood","name":null,"path":"/RockBrentwood","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20602223?s=80&v=4"},"commit":{"message":"A ToDo item added for rational infinite terms\n▪\tDetails on the generalization of Combo to handle rational infinite lambda terms has been added in the file ToDo.txt.\n▪\tA reference - the beginning of a reference list - has been added.\n\tOther references to the older USENET articles on the SEQCD and SECD-2 machines and Rational Infinite Lambda Calculus may be added later.\n▪\tThe generalization requires generalizing the\n\t―\tThe synatax for lambda terms\n\t―\tFree variable analysis for lambda terms\n\t―\tThe lambda abstraction algorithm\n\t―\tThe reduction algorithm\n\tto handle the expanded syntax.","shortMessageHtmlLink":"A ToDo item added for rational infinite terms"}},{"before":"96848c71c5b3e81cf67b99fcad012104fac11862","after":"32397187e3fe0e75a68924c5305aef62501d6192","ref":"refs/heads/master","pushedAt":"2024-03-10T21:52:47.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"RockBrentwood","name":null,"path":"/RockBrentwood","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20602223?s=80&v=4"},"commit":{"message":"Conversions of int to bool","shortMessageHtmlLink":"Conversions of int to bool"}},{"before":"32397187e3fe0e75a68924c5305aef62501d6192","after":"96848c71c5b3e81cf67b99fcad012104fac11862","ref":"refs/heads/master","pushedAt":"2024-03-10T21:04:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"RockBrentwood","name":null,"path":"/RockBrentwood","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20602223?s=80&v=4"},"commit":{"message":"A ToDo item added for rational infinite terms\n▪\tDetails on the generalization of Combo to handle rational infinite lambda terms has been added in the file ToDo.txt.\n▪\tA reference - the beginning of a reference list - has been added.\n\tOther references to the older USENET articles on the SEQCD and SECD-2 machines and Rational Infinite Lambda Calculus may be added later.\n▪\tThe generalization requires generalizing the\n\t―\tThe synatax for lambda terms\n\t―\tFree variable analysis for lambda terms\n\t―\tThe lambda abstraction algorithm\n\t―\tThe reduction algorithm\n\tto handle the expanded syntax.","shortMessageHtmlLink":"A ToDo item added for rational infinite terms"}},{"before":"702329b608afa12e6a7e743c6c7970dff6128683","after":"32397187e3fe0e75a68924c5305aef62501d6192","ref":"refs/heads/master","pushedAt":"2024-03-10T05:11:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"RockBrentwood","name":null,"path":"/RockBrentwood","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20602223?s=80&v=4"},"commit":{"message":"Conversions of int to bool","shortMessageHtmlLink":"Conversions of int to bool"}},{"before":"06345228c2fa304c217658e672399cbdefeae719","after":"702329b608afa12e6a7e743c6c7970dff6128683","ref":"refs/heads/master","pushedAt":"2024-03-04T07:52:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"RockBrentwood","name":null,"path":"/RockBrentwood","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20602223?s=80&v=4"},"commit":{"message":"Version 2 added.\nVersion 1 may be later inserted underneath this, if it is found.","shortMessageHtmlLink":"Version 2 added."}},{"before":"2d4a12ac30d603b9f47916308327f1b4db2b77d7","after":"06345228c2fa304c217658e672399cbdefeae719","ref":"refs/heads/master","pushedAt":"2024-03-04T07:51:14.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"RockBrentwood","name":null,"path":"/RockBrentwood","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20602223?s=80&v=4"},"commit":{"message":"Initial endoment: just the README file.\nThis will allow for later recons of the history,\nif/when earlier versions of the source are found on the USENET or elsewhere.","shortMessageHtmlLink":"Initial endoment: just the README file."}},{"before":"faee09aa9506b7f8fc2a41f358202ff337668a30","after":"2d4a12ac30d603b9f47916308327f1b4db2b77d7","ref":"refs/heads/master","pushedAt":"2024-03-04T07:48:03.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"RockBrentwood","name":null,"path":"/RockBrentwood","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20602223?s=80&v=4"},"commit":{"message":"Version 2 added.\nVersion 1 may be later inserted underneath this, if it is found.","shortMessageHtmlLink":"Version 2 added."}},{"before":"2d4a12ac30d603b9f47916308327f1b4db2b77d7","after":"faee09aa9506b7f8fc2a41f358202ff337668a30","ref":"refs/heads/master","pushedAt":"2024-03-04T07:42:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"RockBrentwood","name":null,"path":"/RockBrentwood","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20602223?s=80&v=4"},"commit":{"message":"Initial endoment: just the README file.\nThis will allow for later recons of the history,\nif/when earlier versions of the source are found on the USENET or elsewhere.","shortMessageHtmlLink":"Initial endoment: just the README file."}},{"before":null,"after":"2d4a12ac30d603b9f47916308327f1b4db2b77d7","ref":"refs/heads/master","pushedAt":"2024-03-04T07:40:52.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"RockBrentwood","name":null,"path":"/RockBrentwood","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20602223?s=80&v=4"},"commit":{"message":"Version 2 added.\nVersion 1 may be later inserted underneath this, if it is found.","shortMessageHtmlLink":"Version 2 added."}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEI6am4gA","startCursor":null,"endCursor":null}},"title":"Activity · RockBrentwood/Combo"}