Skip to content

Activity

Showing most recent first

Deploying to gh-pages from @ 463e6f7 🚀

github-actions[bot]pushed 1 commit to gh-pages • e03c118…f0595ad • 
18 days ago

Name the example inf iterator of iterators sequence (#22)

Pull request merge
michaelficarrapushed 1 commit to main • 5731124…463e6f7 • 
18 days ago

minor implementation cleanups

michaelficarrapushed 1 commit to main • 8104939…5731124 • 
on Dec 3, 2024

correct implementation

michaelficarrapushed 2 commits to main • 26bd708…8104939 • 
on Dec 3, 2024

Deploying to gh-pages from @ 26bd708 🚀

github-actions[bot]pushed 1 commit to gh-pages • 4785bbd…e03c118 • 
on Dec 3, 2024

Deleted branch

michaelficarradeleted match-yield-star • 
on Dec 3, 2024

fully match yield* by doing one last IteratorValue (#19)

Pull request merge
michaelficarrapushed 1 commit to main • b1d267c…26bd708 • 
on Dec 3, 2024

simplify

michaelficarrapushed 1 commit to match-yield-star • 3dcf7e3…1ae8e84 • 
on Dec 3, 2024

fully match yield* by doing one last IteratorValue (15.5.5 step 7.a.v.1)

michaelficarracreated match-yield-star • 3dcf7e3 • 
on Dec 2, 2024

Deploying to gh-pages from @ b1d267c 🚀

github-actions[bot]pushed 1 commit to gh-pages • 0d27baf…4785bbd • 
on Dec 2, 2024

Deleted branch

michaelficarradeleted GH-17 • 
on Dec 2, 2024

re-use IteratorResult objects when possible (#18)

Pull request merge
michaelficarrapushed 1 commit to main • e1dad98…b1d267c • 
on Dec 2, 2024

fixes #17: re-use IteratorResult objects when possible

Force push
michaelficarraforce pushed to GH-17 • 7cb0991…7f12a58 • 
on Nov 20, 2024

fixes #17: re-use IteratorResult objects when possible

michaelficarracreated GH-17 • 7cb0991 • 
on Nov 20, 2024

Deploying to gh-pages from @ e1dad98 🚀

github-actions[bot]pushed 1 commit to gh-pages • f6dbd5d…0d27baf • 
on Oct 10, 2024

Deleted branch

michaelficarradeleted GH-14 • 
on Oct 10, 2024

fixes #14: define required [[UnderlyingIterators]] internal slot (#15)

Pull request merge
michaelficarrapushed 1 commit to main • be01b59…e1dad98 • 
on Oct 10, 2024

Update spec.emu

michaelficarrapushed 1 commit to GH-14 • 9b97ae2…5a1b317 • 
on Oct 10, 2024

fixes #14: define required [[UnderlyingIterators]] internal slot

Force push
michaelficarraforce pushed to GH-14 • 30028b4…9b97ae2 • 
on Oct 10, 2024

fixes #14: define required [[UnderlyingIterators]] internal slot

michaelficarracreated GH-14 • 30028b4 • 
on Oct 10, 2024

stage 2.7 in README

michaelficarrapushed 1 commit to main • 8dd102b…be01b59 • 
on Oct 8, 2024

Deploying to gh-pages from @ 8dd102b 🚀

github-actions[bot]pushed 1 commit to gh-pages • ef05440…f6dbd5d • 
on Oct 8, 2024

stage 2.7 in spec text

michaelficarrapushed 1 commit to main • 7a9f7ca…8dd102b • 
on Oct 8, 2024

Deploying to gh-pages from @ 7a9f7ca 🚀

github-actions[bot]pushed 1 commit to gh-pages • a27583d…ef05440 • 
on Oct 1, 2024

Deleted branch

michaelficarradeleted bakkot-patch-1 • 
on Oct 1, 2024

Editorial: tweak alias names (#13)

Pull request merge
michaelficarrapushed 1 commit to main • c17dcb0…7a9f7ca • 
on Oct 1, 2024

oops

bakkotpushed 1 commit to bakkot-patch-1 • 530adac…4b0909b • 
on Oct 1, 2024

Editorial: tweak alias names

bakkotcreated bakkot-patch-1 • 530adac • 
on Oct 1, 2024

Deploying to gh-pages from @ c17dcb0 🚀

github-actions[bot]pushed 1 commit to gh-pages • 35f4461…a27583d • 
on Oct 1, 2024

Deleted branch

michaelficarradeleted bakkot-patch-1 • 
on Oct 1, 2024