Skip to content

feat: Use pallas traverse library#28

Merged
scarmuega merged 4 commits into
mainfrom
feat/use-traverse
Jun 15, 2022
Merged

feat: Use pallas traverse library#28
scarmuega merged 4 commits into
mainfrom
feat/use-traverse

Conversation

@scarmuega
Copy link
Copy Markdown
Member

No description provided.

@scarmuega scarmuega changed the title (WIP) feat: Use pallas traverse library feat: Use pallas traverse library Jun 15, 2022
@scarmuega scarmuega marked this pull request as ready for review June 15, 2022 14:18
@scarmuega scarmuega requested review from matiwinnetou and rvcas June 15, 2022 14:18
@scarmuega scarmuega merged commit b8216e1 into main Jun 15, 2022
@scarmuega scarmuega deleted the feat/use-traverse branch June 15, 2022 15:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants