opencompl / opencompl/veir

Create a `LocalPatternRewriter`

Open
#1,171 0 comments 0 reactions 1 assignee Claimed by @math-fehr View on GitHub
Dominant language
Lean
Stars
109
Forks
32
Avg merge
1d 1h
Merged PRs (30d)
155

Description

This should only contain `createOp` and `createOp!`, and maybe append the operation list by itself.

Contributor guide

No contributing guide indexed for this repository

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.