The Mercury Project
mercury-users Jun 02 By Thread

News

Information

Documentation

Mailing Lists
  Developers
  Reviews
  Users
  Search

Back-ends

Download

Related

Contact

Search

Most recent messages
79 messages sorted by: [ author ] [ date ] [ subject ] [ attachment ]
Other mail archives

Starting: Sat Jun 01 2002 - 00:52:12 EST
Ending: Mon Jun 24 2002 - 10:59:14 EST

• Re: [mercury-users] Another Mercury Modes Problem David Overton (Sat Jun 01 2002 - 00:51:53 EST)
  • Re: [mercury-users] Another Mercury Modes Problem Bob McKay (Sat Jun 01 2002 - 01:48:05 EST)
    • Re: [mercury-users] Another Mercury Modes Problem Fergus Henderson (Sat Jun 01 2002 - 02:04:06 EST)
  • Re: [mercury-users] Another Mercury Modes Problem Ralph Becket (Tue Jun 04 2002 - 12:13:57 EST)
• Re: [mercury-users] Mac OS-X port? Douglas Michael Auclair (Sat Jun 01 2002 - 11:58:06 EST)
  • Re: [mercury-users] Mac OS-X port? Fergus Henderson (Mon Jun 03 2002 - 00:50:56 EST)
• [mercury-users] syntax across languages Pixel (Sat Jun 01 2002 - 22:33:35 EST)
  • Re: [mercury-users] syntax across languages Fergus Henderson (Sun Jun 02 2002 - 16:22:03 EST)
    • Re: [mercury-users] syntax across languages Pixel (Sun Jun 02 2002 - 19:49:24 EST)
      • Re: [mercury-users] syntax across languages Ralph Becket (Mon Jun 03 2002 - 10:19:36 EST)
      • Re: [mercury-users] syntax across languages Pixel (Mon Jun 03 2002 - 21:00:55 EST)
      • Re: [mercury-users] syntax across languages Ralph Becket (Tue Jun 04 2002 - 11:35:23 EST)
    • Re: [mercury-users] syntax across languages Ralph Becket (Mon Jun 03 2002 - 10:14:09 EST)
• Re: [mercury-users] lisp macros Peter Schachte (Mon Jun 03 2002 - 11:26:58 EST)
  • Re: [mercury-users] lisp macros Michael Day (Mon Jun 03 2002 - 14:34:29 EST)
  • Re: [mercury-users] lisp macros Richard A. O'Keefe (Tue Jun 04 2002 - 14:12:34 EST)
• [mercury-users] foreign_type Michael Day (Mon Jun 03 2002 - 18:06:06 EST)
  • Re: [mercury-users] foreign_type Michael Day (Mon Jun 03 2002 - 18:32:41 EST)
    • Re: [mercury-users] foreign_type Peter Ross (Mon Jun 03 2002 - 18:53:02 EST)
    • Re: [mercury-users] foreign_type Peter Ross (Mon Jun 03 2002 - 18:54:35 EST)
      • Re: [mercury-users] foreign_type Michael Day (Mon Jun 03 2002 - 20:58:41 EST)
      • Re: [mercury-users] foreign_type Peter Ross (Mon Jun 03 2002 - 23:13:22 EST)
      • Re: [mercury-users] foreign_type Michael Day (Tue Jun 04 2002 - 12:32:31 EST)
      • Re: [mercury-users] foreign_type Peter Ross (Tue Jun 04 2002 - 18:43:09 EST)
• [mercury-users] random quantification suggestion Michael Day (Mon Jun 03 2002 - 21:49:23 EST)
  • Re: [mercury-users] random quantification suggestion Fergus Henderson (Tue Jun 04 2002 - 16:17:52 EST)
    • Re: [mercury-users] random quantification suggestion Michael Day (Tue Jun 04 2002 - 17:27:44 EST)
• [mercury-users] Re: lisp macros Milan Zamazal (Mon Jun 03 2002 - 20:25:39 EST)
  • Re: [mercury-users] Re: lisp macros Ralph Becket (Tue Jun 04 2002 - 13:49:38 EST)
    • [mercury-users] Re: lisp macros Milan Zamazal (Thu Jun 06 2002 - 19:22:14 EST)
• [mercury-users] Re: [m-rev.] diff: fix unique mode error in bitmap.m Michael Day (Tue Jun 04 2002 - 17:15:19 EST)
• [mercury-users] Dispatch tables? Curried functions? Douglas Michael Auclair (Wed Jun 05 2002 - 14:18:11 EST)
  • Re: [mercury-users] Dispatch tables? Curried functions? Ralph Becket (Wed Jun 05 2002 - 15:35:48 EST)
    • Re: [mercury-users] Dispatch tables? Curried functions? Fergus Henderson (Wed Jun 05 2002 - 15:46:19 EST)
  • Re: [mercury-users] Dispatch tables? Curried functions? David Overton (Wed Jun 05 2002 - 15:52:59 EST)
• Re: [mercury-users] Dispatch tables? Curried functions? Douglas Michael Auclair (Thu Jun 06 2002 - 03:32:26 EST)
  • Re: [mercury-users] Dispatch tables? Curried functions? Douglas Michael Auclair (Thu Jun 06 2002 - 03:32:26 EST)
  • Re: [mercury-users] Dispatch tables? Curried functions? Fergus Henderson (Fri Jun 07 2002 - 15:49:13 EST)
• [mercury-users] Added pretty printer to XML library. Douglas Michael Auclair (Thu Jun 06 2002 - 03:47:16 EST)
  • Re: [mercury-users] Added pretty printer to XML library. Ralph Becket (Fri Jun 07 2002 - 14:00:38 EST)
  • Re: [mercury-users] Added pretty printer to XML library. Douglas Michael Auclair (Sun Jun 09 2002 - 11:00:07 EST)
• [mercury-users] Lisp-like syntax for Mercury (Mercury & macros) Milan Zamazal (Thu Jun 06 2002 - 19:25:59 EST)
  • Re: [mercury-users] Lisp-like syntax for Mercury (Mercury & macros) Ralph Becket (Fri Jun 07 2002 - 14:52:02 EST)
    • Re: [mercury-users] Lisp-like syntax for Mercury (Mercury & macros) Ralph Becket (Fri Jun 07 2002 - 14:55:52 EST)
    • [mercury-users] Re: Lisp-like syntax for Mercury (Mercury & macros) Milan Zamazal (Fri Jun 07 2002 - 19:03:02 EST)
• Re: [mercury-users] Lisp-like syntax for Mercury (Mercury & macros) Richard A. O'Keefe (Fri Jun 07 2002 - 13:38:12 EST)
• [mercury-users] Next major release (was curried fns/dispatch tables) Douglas Michael Auclair (Sun Jun 09 2002 - 11:24:51 EST)
• Re: [mercury-users] Re: Lisp-like syntax for Mercury (Mercury & macros) Richard A. O'Keefe (Mon Jun 10 2002 - 11:18:40 EST)
  • Re: [mercury-users] Re: Lisp-like syntax for Mercury (Mercury & macros) Peter Schachte (Tue Jun 11 2002 - 13:21:35 EST)
  • [mercury-users] Re: Lisp-like syntax for Mercury (Mercury & macros) Milan Zamazal (Tue Jun 11 2002 - 09:19:43 EST)
  • Re: [mercury-users] Re: Lisp-like syntax for Mercury (Mercury & macros) Richard A. O'Keefe (Wed Jun 12 2002 - 11:12:52 EST)
    • [mercury-users] Re: Lisp-like syntax for Mercury (Mercury & macros) Milan Zamazal (Thu Jun 13 2002 - 22:16:40 EST)
      • Re: [mercury-users] Re: Lisp-like syntax for Mercury (Mercury & macros) Richard A. O'Keefe (Tue Jun 11 2002 - 15:08:38 EST)
      • [mercury-users] language sensitive editors (was: Lisp-like syntax for Mercury) Tom Howland (Wed Jun 12 2002 - 05:19:56 EST)
      • Re: [mercury-users] Re: Lisp-like syntax for Mercury (Mercury & macros) Peter Schachte (Wed Jun 12 2002 - 11:15:21 EST)
      • Re: [mercury-users] Re: Lisp-like syntax for Mercury (Mercury & macros) Richard A. O'Keefe (Wed Jun 12 2002 - 13:25:19 EST)
• [mercury-users] mode error Michael Day (Wed Jun 12 2002 - 13:50:40 EST)
  • Re: [mercury-users] mode error David Overton (Wed Jun 12 2002 - 15:02:41 EST)
    • Re: [mercury-users] mode error Fergus Henderson (Wed Jun 12 2002 - 15:08:23 EST)
• [mercury-users] mode error #2 Michael Day (Wed Jun 12 2002 - 13:54:40 EST)
  • Re: [mercury-users] mode error #2 Fergus Henderson (Wed Jun 12 2002 - 15:04:03 EST)
    • Re: [mercury-users] mode error #2 Michael Day (Thu Jun 13 2002 - 11:37:12 EST)
• Re: [mercury-users] mmc on Redhat 7.3 / glibc 2.2 Roy Ward (Mon Jun 17 2002 - 16:15:30 EST)
  • Re: [mercury-users] mmc on Redhat 7.3 / glibc 2.2 Roy Ward (Mon Jun 17 2002 - 16:32:35 EST)
  • Re: [mercury-users] mmc on Redhat 7.3 / glibc 2.2 Simon Taylor (Mon Jun 17 2002 - 16:48:04 EST)
  • Re: [mercury-users] mmc on Redhat 7.3 / glibc 2.2 Michael Day (Mon Jun 17 2002 - 17:11:38 EST)
• [mercury-users] existential types Michael Day (Tue Jun 18 2002 - 14:20:55 EST)
  • Re: [mercury-users] existential types Simon Taylor (Tue Jun 18 2002 - 17:39:35 EST)
    • Re: [mercury-users] existential types Michael Day (Tue Jun 18 2002 - 18:39:35 EST)
      • Re: [mercury-users] existential types Simon Taylor (Tue Jun 18 2002 - 18:39:48 EST)
      • Re: [mercury-users] existential types Michael Day (Wed Jun 19 2002 - 10:05:47 EST)
• [mercury-users] Mercury Types Problem Bob McKay (Thu Jun 20 2002 - 11:42:43 EST)
  • Re: [mercury-users] Mercury Types Problem Ralph Becket (Thu Jun 20 2002 - 15:43:08 EST)
    • Re: [mercury-users] Mercury Types Problem Bob McKay (Thu Jun 20 2002 - 16:30:21 EST)
      • Re: [mercury-users] Mercury Types Problem Simon Taylor (Thu Jun 20 2002 - 16:42:29 EST)
      • Re: [mercury-users] Mercury Types Problem Bob McKay (Thu Jun 20 2002 - 17:12:43 EST)
      • Re: [mercury-users] Mercury Types Problem Simon Taylor (Thu Jun 20 2002 - 17:20:43 EST)
      • Re: [mercury-users] Mercury Types Problem Ralph Becket (Thu Jun 20 2002 - 16:53:25 EST)
• [mercury-users] inst declarations Michael Day (Mon Jun 24 2002 - 11:13:12 EST)

Last message date: Mon Jun 24 2002 - 10:59:14 EST
Archived on: Mon Jul 01 2002 - 00:40:04 EST

79 messages sorted by: [ author ] [ date ] [ subject ] [ attachment ]
Other mail archives