-
Well Typed LLP
- Sheffield, UK
Block or Report
Block or report mpickering
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
283 contributions in the last year
Less
More
Activity overview
Contribution activity
June 2023
Created 3 commits in 2 repositories
Created 1 repository
Created an issue in haskell/core-libraries-committee that received 17 comments
Add role annotations to SNat, SChar and SSymbol
SNat, SChar and SSymbol were introduced to base by #85 but are missing role annotations. This makes it possible to implement unsafeCoerce
using thi…
17
comments