edwinb
Follow
Block or Report
Block or report edwinb
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePopular repositories
324 contributions in the last year
Less
More
Contribution activity
April 2022
Created 12 commits in 2 repositories
Created a pull request in idris-lang/Idris2 that received 9 comments
Allow functions to be marked for foreign export
This relies on the backend knowing what to do with such things, but the general idea is to mark them with '%export "backend:exportedname"' then 'ge…
+118
−21
•
9
comments