Age | Commit message (Collapse) | Author | |
---|---|---|---|
2023-01-25 | Deprecate for selfrefHEADdefault | SoniEx2 | |
2023-01-14 | [Project] Self-Ref Cell Environment | SoniEx2 | |
Possibly-unsound extensions to `selfref` |
![]() |
index : srce.git | |
Unnamed repository; edit this file 'description' to name the repository. | blog |
summaryrefslogtreecommitdiffstats |
Age | Commit message (Collapse) | Author | |
---|---|---|---|
2023-01-25 | Deprecate for selfrefHEADdefault | SoniEx2 | |
2023-01-14 | [Project] Self-Ref Cell Environment | SoniEx2 | |
Possibly-unsound extensions to `selfref` |