This repository was archived by the owner on Aug 28, 2025. It is now read-only.

This repository was archived by the owner on Aug 28, 2025. It is now read-only.

Is there an advantage of using this over TrueMyth? #1

Open

opened

on Sep 19, 2019

I've recently been looking in to using this for my projects: https://github.com/true-myth/true-myth

When I noticed result-tuple, it seemed like there is maybe some overlap?

to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Assignees

No one assigned

Labels

No labels

No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests