Skip to content
This repository has been archived by the owner on Sep 17, 2023. It is now read-only.

Restrained API #10

Merged
merged 3 commits into from
Jul 15, 2021
Merged

Restrained API #10

merged 3 commits into from
Jul 15, 2021

Conversation

surol
Copy link
Member

@surol surol commented Jul 15, 2021

  • Rename itsHead() to iterateIt()
  • Drop pushHead()
  • Drop itsIterated()
  • Drop pushIterated()

@surol surol merged commit 9421da4 into master Jul 15, 2021
@surol surol deleted the restrained-api branch July 15, 2021 08:04
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Development

Successfully merging this pull request may close these issues.

1 participant