- Edinburgh
Highlights
- Pro
Block or Report
Block or report martin-luecke
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
72 contributions in the last year
Activity overview
Contributed to
xdslproject/xdsl,
microsoft/knossos-ksc,
xdslproject/xdslproject.github.io
and 4 other
repositories
Contribution activity
May 2022
Created a pull request in xdslproject/xdsl that received 7 comments
Composable rewriting
This PR aims to introduce a new rewriting infrastructure inspired by Elevate. To achieve this, this PR introduces: An immutable representation of …
+1,627
−0
•
7
comments
Reviewed 1 pull request in 1 repository
xdslproject/xdsl
1 pull request
11
contributions
in private repositories
May 2 – May 13