- Pullman, WA
Highlights
- Pro
Block or Report
Block or report mattpolzin
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned Loading
3,222 contributions in the last year
Less
More
Activity overview
Contributed to
mattpolzin/harmony,
idris-lang/Idris2,
mattpolzin/OpenAPIKit
and 5 other
repositories
Loading
Contribution activity
November 2021
Created 9 commits in 4 repositories
Created a pull request in idris-lang/Idris2 that received 7 comments
Add %deprecate pragma
Add the %deprecate pragma as proposed here.
Closes #2082.
In short, add %deprecate before a definition to cause the compiler to generate a warning …
+273
−31
•
7
comments
Opened 2 other pull requests in 2 repositories
mattpolzin/idv
1
merged
idris-lang/Idris2
1
merged
Reviewed 6 pull requests in 1 repository
Created an issue in idris-lang/Idris2 that received 1 comment
[Proposal] A new %deprecate pragma
I have read CONTRIBUTING.md.
I have checked that there is no existing PR/issue about my proposal.
Summary
I propose we add a %deprecate pragma …
2 tasks done
Opened 1 other issue in 1 repository
idris-lang/Idris2
1
open
49
contributions
in private repositories
Nov 1 – Nov 15

Formed in 2009, the Archive Team (not to be confused with the archive.org Archive-It Team) is a rogue archivist collective dedicated to saving copies of rapidly dying or deleted websites for the sake of history and digital heritage. The group is 100% composed of volunteers and interested parties, and has expanded into a large amount of related projects for saving online and digital history.
