Open
Conversation
- Added Y combinator definition to combinator.go using SKI basis. - Updated SKI basis to include the Y combinator. - Added TestY to combinator_test.go to verify loop detection for infinite expansion. - Added "Fixed-point Combinator" section to GUIDE.md. - Corrected Church encoding file references in GUIDE.md. - Marked Y Combinator task as completed in TODO.md. Co-authored-by: srghma <219769217+srghma@users.noreply.github.com>
- Added Y combinator definition to combinator.go and SKI basis. - Implemented Universal Combinator `U` with a higher-order encoding for SKI terms (`s`, `k`, `i`, `a`). - Updated combinator_test.go with TestY and TestUniversal. - Added comprehensive documentation for both combinators in GUIDE.md. - Marked both items as completed in TODO.md. - Adjusted Iota basis combinator name to avoid naming conflicts. Co-authored-by: srghma <219769217+srghma@users.noreply.github.com>
- Added Y combinator and Universal Combinator (higher-order encoding). - Added comprehensive tests and optimized frame limits for verification. - Updated GUIDE.md with detailed sections on Fixed-point and Universal combinators while preserving original content. - Added GitHub Action for automated testing. - Updated TODO.md. Co-authored-by: srghma <219769217+srghma@users.noreply.github.com>
- Reverted Iota renaming and kept name as 'i'.
- Made Iota a proper combinator using definition 'xSK' (logical 'S(SI(KS))(KK)').
- Renamed Universal basis encoded terms to uppercase ASCII letters ('A', 'B', 'C', 'D').
- Updated GUIDE.md with correct names and restored original text.
- Verified all tests pass, including Iota and Universal tests.
- Maintained GitHub Action for automated testing.
Co-authored-by: srghma <219769217+srghma@users.noreply.github.com>
Added comments to clarify the definition of the combinator.
…571239 Implement Y Combinator example
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
No description provided.