We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
[ icon ] Add icon
[ lhs ] Restrict visibility
[ bind as ] Move logic to util function
[ clause ] Move `ProblemEq`. Maybe it's time to release a newer version?
[ #2, infer ] Add doc, support inferring projections
[ doc ] Start writing some docs