Groups
Sign in
Groups
haskellcontracts
Conversations
About
Send feedback
Help
haskellcontracts
Contact owners and managers
1–15 of 15
Mark all as read
Report group
0 selected
Koen Claessen
1/3/12
Skype
[12:01:42 PM CEST] Simon Peyton Jones: hello [12:01:47 PM CEST] Simon Peyton Jones: no sound [12:01:
unread,
Skype
[12:01:42 PM CEST] Simon Peyton Jones: hello [12:01:47 PM CEST] Simon Peyton Jones: no sound [12:01:
1/3/12
Dimitrios Vytiniotis
12/27/11
FW: monitors paper
FYI > -----Original Message----- > From: Andrey Rybalchenko [mailto:ry...@in.tum.de] > Sent:
unread,
FW: monitors paper
FYI > -----Original Message----- > From: Andrey Rybalchenko [mailto:ry...@in.tum.de] > Sent:
12/27/11
Dimitrios Vytiniotis
, …
Simon Peyton-Jones
5
12/22/11
FW: catch tests
| Takes 69s to check all 16 contracts, and 29s to check just 'shortest'. Great. It's good
unread,
FW: catch tests
| Takes 69s to check all 16 contracts, and 29s to check just 'shortest'. Great. It's good
12/22/11
Nathan Collins
,
Dimitrios Vytiniotis
8
12/21/11
Mins in arrow contracts
On Wed, Dec 21, 2011 at 5:04 PM, Nathan Collins <nathan....@gmail.com> wrote: > On Mon,
unread,
Mins in arrow contracts
On Wed, Dec 21, 2011 at 5:04 PM, Nathan Collins <nathan....@gmail.com> wrote: > On Mon,
12/21/11
Nathan Collins
,
Koen Claessen
2
12/20/11
Could someone send the Skype transcript for today's meeting?
Tuesday, December 20, 2011[1:35:29 PM CEST] Simon Peyton Jones: no sound[1:35:33 PM CEST] Simon
unread,
Could someone send the Skype transcript for today's meeting?
Tuesday, December 20, 2011[1:35:29 PM CEST] Simon Peyton Jones: no sound[1:35:33 PM CEST] Simon
12/20/11
Nathan Collins
, …
Dimitrios Vytiniotis
10
12/19/11
Commutativity of addition
One more thing: It would be very helpful to only print function application equations for those
unread,
Commutativity of addition
One more thing: It would be very helpful to only print function application equations for those
12/19/11
Simon Peyton-Jones
, …
Nathan Collins
14
12/15/11
Contracts 13 Dec 11
On Thu, Dec 15, 2011 at 9:10 AM, Koen Claessen <ko...@chalmers.se> wrote: >> {-# CONTRACT
unread,
Contracts 13 Dec 11
On Thu, Dec 15, 2011 at 9:10 AM, Koen Claessen <ko...@chalmers.se> wrote: >> {-# CONTRACT
12/15/11
Simon Peyton-Jones
12/13/11
FW: Do we really want CF = CF -> CF?
-----Original Message----- From: Nathan Collins [mailto:nathan....@gmail.com] Sent: 03 November
unread,
FW: Do we really want CF = CF -> CF?
-----Original Message----- From: Nathan Collins [mailto:nathan....@gmail.com] Sent: 03 November
12/13/11
Koen Claessen
12/13/11
Replacing the CF axiom for app
For reference. An old e-mail explaining app and CF. /Koen ---------- Forwarded message ----------
unread,
Replacing the CF axiom for app
For reference. An old e-mail explaining app and CF. /Koen ---------- Forwarded message ----------
12/13/11
Dimitrios Vytiniotis
,
Nathan Collins
4
12/12/11
RE: Contracts meeting
Oh, and some timing info for posterity. -- 1. -- -- This is necessary because we need 'not . null
unread,
RE: Contracts meeting
Oh, and some timing info for posterity. -- 1. -- -- This is necessary because we need 'not . null
12/12/11
Dimitrios Vytiniotis
,
Nathan Collins
2
12/12/11
test
got it, do you get this back? On Mon, Dec 12, 2011 at 1:07 PM, Dimitrios Vytiniotis <dimitris@
unread,
test
got it, do you get this back? On Mon, Dec 12, 2011 at 1:07 PM, Dimitrios Vytiniotis <dimitris@
12/12/11
Nathan Collins
,
Koen Claessen
14
12/12/11
Koen: TPTP files where we expect equinox to find a counter example
Dimitrios never received this email. On Fri, Dec 9, 2011 at 7:53 PM, Nathan Collins <nathan.
unread,
Koen: TPTP files where we expect equinox to find a counter example
Dimitrios never received this email. On Fri, Dec 9, 2011 at 7:53 PM, Nathan Collins <nathan.
12/12/11
Dimitrios Vytiniotis
,
Nathan Collins
2
12/6/11
todays skype transcript
Koen, On Tue, Dec 6, 2011 at 2:33 PM, Dimitrios Vytiniotis <dimi...@microsoft.com> wrote: >
unread,
todays skype transcript
Koen, On Tue, Dec 6, 2011 at 2:33 PM, Dimitrios Vytiniotis <dimi...@microsoft.com> wrote: >
12/6/11
Nathan Collins
,
Koen Claessen
2
11/30/11
Koen, does "let binding" in fof improve performance?
Hi! The only reason to do this "let binding" is to avoid explosion of the formula in the
unread,
Koen, does "let binding" in fof improve performance?
Hi! The only reason to do this "let binding" is to avoid explosion of the formula in the
11/30/11
Dimitrios Vytiniotis
11/29/11
skype transcript
[13:14:28] Dimitrios Vytiniotis: Hi Koen are you tehre? [13:21:32] Koen Claessen: yes [13:21:39]
unread,
skype transcript
[13:14:28] Dimitrios Vytiniotis: Hi Koen are you tehre? [13:21:32] Koen Claessen: yes [13:21:39]
11/29/11