Skip to content
GitLab
Explore
Sign in
GraPA
Rust
Mimung
Merge requests
!28
Resolve "Implement more reduction rules"
Code
Review changes
Check out branch
Download
Patches
Plain diff
Kenneth Dietrich
requested to merge
29-more-reduction-rules
into
main
Mar 22, 2022
Overview
0
Commits
30
Pipelines
16
Changes
25
Expand
Closes
#29 (closed)
Please do not delete the branch when merging
Edited
Apr 28, 2022
by
Kenneth Dietrich
Merge request reports