User Details
User Details
- User Since
- Nov 8 2017, 6:14 PM (109 w, 1 d)
Thu, Dec 5
Thu, Dec 5
Marge Bot <ben+marge-bot@smart-cactus.org> committed
Test proxy-polymorphic sameNat and sameSymbol
Marge Bot <ben+marge-bot@smart-cactus.org> committed
Make sameNat and sameSymbol proxy-polymorphic
Feb 15 2018
Feb 15 2018
Dec 12 2017
Dec 12 2017
Bodigrim added a comment to D4212: Built-in Natural literals in Core.
Sorry for disappearance. I got a new job recently, still sorting out things. I plan to continue with this change next week.
Nov 19 2017
Nov 19 2017
Bodigrim updated the diff for D4212: Built-in Natural literals in Core.
Update diff. Now the error message is more specific, but I still do not know how to fix it.
Nov 14 2017
Nov 14 2017
Bodigrim updated the diff for D4180: Optimise remainders by powers of two (trac#14437).
Fix comments, following review suggestions.
Nov 11 2017
Nov 11 2017
Bodigrim updated the diff for D4173: Remove redundant subtraction in (^) and stimes (trac#14439).
Add comments.
Bodigrim updated the diff for D4173: Remove redundant subtraction in (^) and stimes (trac#14439).
Remove double space.
Nov 9 2017
Nov 9 2017
Bodigrim updated the summary of D4173: Remove redundant subtraction in (^) and stimes (trac#14439).
Nov 8 2017
Nov 8 2017
Bodigrim updated the Trac tickets for D4171: Update comment in GHC.Real (trac#14432).