aspiwack (Arnaud Spiwack)
User

Projects

User does not belong to any projects.

User Details

User Since
Sep 15 2017, 7:54 AM (113 w, 3 d)

Recent Activity

Jul 15 2019

aspiwack committed rGHC0670f98adafd: Add a note in the simplifier about in-scope set as a substitution (authored by aspiwack).
Add a note in the simplifier about in-scope set as a substitution
Jul 15 2019, 5:30 PM

Mar 4 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHCb78cc64e9237: Make constructor wrappers inline only during the final phase (authored by aspiwack).
Make constructor wrappers inline only during the final phase
Mar 4 2019, 1:07 PM

Dec 14 2018

aspiwack added inline comments to D5401: Linear types: stepping stone.
Dec 14 2018, 7:27 AM

Dec 6 2018

aspiwack added inline comments to D5400: Make constructor wrappers inline only during the final phase.
Dec 6 2018, 10:23 AM

Dec 4 2018

aspiwack added a comment to D5401: Linear types: stepping stone.

Thanks Richard!

Dec 4 2018, 2:05 AM

Nov 30 2018

aspiwack added a reviewer for D5401: Linear types: stepping stone: simonpj.
Nov 30 2018, 5:39 PM
aspiwack added a reviewer for D5400: Make constructor wrappers inline only during the final phase: simonpj.
Nov 30 2018, 5:39 PM
aspiwack added a comment to D5401: Linear types: stepping stone.

The description of the implementation and the Core formalism, are not up to date. We'll be updating it in the coming days and report back here.

Nov 30 2018, 5:31 PM
aspiwack added a parent revision for D5401: Linear types: stepping stone: D5400: Make constructor wrappers inline only during the final phase.
Nov 30 2018, 5:29 PM
aspiwack added a child revision for D5400: Make constructor wrappers inline only during the final phase: D5401: Linear types: stepping stone.
Nov 30 2018, 5:29 PM
aspiwack created D5401: Linear types: stepping stone.
Nov 30 2018, 5:28 PM
aspiwack created D5400: Make constructor wrappers inline only during the final phase.
Nov 30 2018, 5:23 PM
aspiwack created D5399: Fix link name to a note.
Nov 30 2018, 5:20 PM

Sep 15 2017

aspiwack created D3971: Factor mkCoreApp and mkCoreApps.
Sep 15 2017, 8:47 AM
aspiwack created D3970: Remove dead function TcUnify.wrapFunResCoercion.
Sep 15 2017, 8:34 AM