gmane.comp.lang.concatenative archive

1298 archived articles, newest first (page 1 of 13). Latest articles →

Re: Where's formal proof of Haskell's claim to...?
Sun, 1 Mar 2015 09:39:52 +0200
"chris glur [email protected] [concatenative]" <[email protected]> • #3787
Re: Where's formal proof of Haskell's claim to...?
Mon, 23 Feb 2015 12:52:46 -0600
"Michael Haufe [email protected] [concatenative]" <[email protected]> • #3786
Where's formal proof of Haskell's claim to...?
Wed, 11 Feb 2015 17:22:34 +0200
"chris glur [email protected] [concatenative]" <[email protected]> • #3785
Re: Formal proofs via 'joy' or any system?
Tue, 18 Nov 2014 11:25:50 -0500
"John Nowak [email protected] [concatenative]" <[email protected]> • #3784
Formal proofs via 'joy' or any system?
Thu, 6 Nov 2014 19:20:40 +0200
"chris glur [email protected] [concatenative]" <[email protected]> • #3783
Re: Must have SINGLE input/Arg.
Mon, 8 Sep 2014 15:23:54 -0700
"Don Groves [email protected] [concatenative]" <[email protected]> • #3782
Re: Must have SINGLE input/Arg.
Mon, 8 Sep 2014 15:20:19 -0700
"'William Tanksley, Jr' [email protected] [concatenative]" <[email protected]> • #3781
Re: Must have SINGLE input/Arg.
Fri, 29 Aug 2014 03:23:15 +0200
"chris glur [email protected] [concatenative]" <[email protected]> • #3780
Re: Must have SINGLE input/Arg.
Tue, 26 Aug 2014 10:23:30 -0700
"'William Tanksley, Jr' [email protected] [concatenative]" <[email protected]> • #3779
Re: Must have SINGLE input/Arg.
Fri, 15 Aug 2014 18:31:01 +0200
"chris glur [email protected] [concatenative]" <[email protected]> • #3778
Re: Must have SINGLE input/Arg.
Thu, 14 Aug 2014 04:31:30 +0200
"chris glur [email protected] [concatenative]" <[email protected]> • #3777
Re: Must have SINGLE input/Arg.
Wed, 13 Aug 2014 19:17:51 -0700
"John Meacham [email protected] [concatenative]" <[email protected]> • #3776
Re: Must have SINGLE input/Arg.
Tue, 12 Aug 2014 17:07:09 -0700 (PDT)
"'John Nilsson' [email protected] [concatenative]" <[email protected]> • #3775
Re: Must have SINGLE input/Arg.
Tue, 12 Aug 2014 11:01:31 -0400
"John Nowak [email protected] [concatenative]" <[email protected]> • #3774
Re: Must have SINGLE input/Arg.
Mon, 11 Aug 2014 20:16:17 -0700
"John Meacham [email protected] [concatenative]" <[email protected]> • #3773
Re: Must have SINGLE input/Arg.
Tue, 12 Aug 2014 02:26:20 +0200
"John Nilsson [email protected] [concatenative]" <[email protected]> • #3772
Re: Must have SINGLE input/Arg.
Mon, 11 Aug 2014 12:39:35 -0700
"John Meacham [email protected] [concatenative]" <[email protected]> • #3771
Re: Must have SINGLE input/Arg.
Mon, 11 Aug 2014 12:17:13 -0700 (PDT)
"'John Nilsson' [email protected] [concatenative]" <[email protected]> • #3770
Must have SINGLE input/Arg.
Fri, 1 Aug 2014 19:57:42 +0200
"chris glur [email protected] [concatenative]" <[email protected]> • #3769
Re: Overview of prefix vs postfix notations + evaluation schemes.
15 Jul 2014 23:12:51 -0700
"[email protected] [concatenative]" <[email protected]> • #3768
Re: Overview of prefix vs postfix notations + evaluation schemes.
Tue, 15 Jul 2014 07:12:32 -0500
"Michael Haufe [email protected] [concatenative]" <[email protected]> • #3767
Re: Re: Overview of prefix vs postfix notations + evaluation schemes.
Mon, 14 Jul 2014 19:17:07 -0700
"'William Tanksley, Jr' [email protected] [concatenative]" <[email protected]> • #3766
Re: Overview of prefix vs postfix notations + evaluation schemes.
14 Jul 2014 09:27:08 -0700
"[email protected] [concatenative]" <[email protected]> • #3765
Re: Overview of prefix vs postfix notations + evaluation schemes.
Sun, 6 Jul 2014 23:00:35 -0400
"John Cowan [email protected] [concatenative]" <[email protected]> • #3764
Re: Overview of prefix vs postfix notations + evaluation schemes.
Sun, 6 Jul 2014 19:50:04 -0700
"'William Tanksley, Jr' [email protected] [concatenative]" <[email protected]> • #3763
Re: Overview of prefix vs postfix notations + evaluation schemes.
Sun, 6 Jul 2014 16:51:14 -0500
"Michael Haufe [email protected] [concatenative]" <[email protected]> • #3762
Re: Overview of prefix vs postfix notations + evaluation schemes.
Sun, 6 Jul 2014 16:05:39 -0500
"Michael Haufe [email protected] [concatenative]" <[email protected]> • #3761
Re: Overview of prefix vs postfix notations + evaluation schemes.
Sun, 6 Jul 2014 11:25:39 -0700
"'William Tanksley, Jr' [email protected] [concatenative]" <[email protected]> • #3760
Re: Overview of prefix vs postfix notations + evaluation schemes.
Sun, 6 Jul 2014 12:49:45 -0400
"John Cowan [email protected] [concatenative]" <[email protected]> • #3759
Overview of prefix vs postfix notations + evaluation schemes.
Sat, 5 Jul 2014 19:38:43 +0200
"Artjom Kossow [email protected] [concatenative]" <[email protected]> • #3758
Re: Rabbit-vm
06 May 2014 13:33:14 -0700
<[email protected]> • #3757
Re: Rabbit-vm
Mon, 5 May 2014 14:19:51 -0700
Jon Purdy <[email protected]> • #3756
Re: Re: Conca : a small interpreter
Thu, 1 May 2014 16:36:45 -0700
"William Tanksley, Jr" <[email protected]> • #3755
Re: Re: Conca : a small interpreter
Thu, 1 May 2014 18:59:14 -0400 (EDT)
Claude Marinier <[email protected]> • #3754
Re: Re: Conca : a small interpreter
01 May 2014 07:23:39 -0700
<[email protected]> • #3753
Re: Re: Conca : a small interpreter
Thu, 1 May 2014 10:04:03 -0400
John Cowan <[email protected]> • #3752
Re: compiling pattern matching to point-free combinators sequence
Thu, 1 May 2014 06:10:32 -0700
"William Tanksley, Jr" <[email protected]> • #3751
Re: Re: Conca : a small interpreter
01 May 2014 03:17:34 -0700
<[email protected]> • #3750
Re: compiling pattern matching to point-free combinators sequence
Thu, 1 May 2014 10:09:38 +0200
Cyrille Duret <[email protected]> • #3749
Re: Re: Conca : a small interpreter
Thu, 1 May 2014 03:36:57 +0200
eas lab <[email protected]> • #3748
Re: Re: Conca : a small interpreter
Wed, 30 Apr 2014 18:53:53 -0400 (EDT)
Claude Marinier <[email protected]> • #3747
Re: Conca : a small interpreter
Wed, 30 Apr 2014 14:26:02 -0400
John Cowan <[email protected]> • #3746
Re: compiling pattern matching to point-free combinators sequence
Wed, 30 Apr 2014 14:23:36 -0400
John Cowan <[email protected]> • #3745
Re: compiling pattern matching to point-free combinators sequence
Wed, 30 Apr 2014 11:22:21 -0700
"William Tanksley, Jr" <[email protected]> • #3744
Re: compiling pattern matching to point-free combinators sequence
Wed, 30 Apr 2014 11:20:09 -0700
Jon Purdy <[email protected]> • #3743
Re: compiling pattern matching to point-free combinators sequence
Wed, 30 Apr 2014 09:18:40 -0700
"William Tanksley, Jr" <[email protected]> • #3742
Re: Conca : a small interpreter
30 Apr 2014 03:37:17 -0700
<[email protected]> • #3741
Re: Conca : a small interpreter
30 Apr 2014 03:34:21 -0700
<[email protected]> • #3740
Re: Conca : a small interpreter
30 Apr 2014 03:11:54 -0700
<[email protected]> • #3739
compiling pattern matching to point-free combinators sequence
Wed, 30 Apr 2014 09:04:36 +0200
Cyrille Duret <[email protected]> • #3738
Re: Conca : a small interpreter
Tue, 29 Apr 2014 18:53:54 -0400 (EDT)
Claude Marinier <[email protected]> • #3737
Re: Conca : a small interpreter
Tue, 29 Apr 2014 18:49:28 -0400 (EDT)
Claude Marinier <[email protected]> • #3736
Re: Conca : a small interpreter
Tue, 29 Apr 2014 18:39:07 -0400 (EDT)
Claude Marinier <[email protected]> • #3735
Re: Conca : a small interpreter
Tue, 29 Apr 2014 12:58:06 -0700
Jon Purdy <[email protected]> • #3734
Re: Conca : a small interpreter
Tue, 29 Apr 2014 12:33:53 -0700
"William Tanksley, Jr" <[email protected]> • #3733
Re: Conca : a small interpreter
Tue, 29 Apr 2014 11:20:31 -0700
Jon Purdy <[email protected]> • #3732
Conca : a small interpreter
Tue, 29 Apr 2014 13:24:59 -0400
Claude Marinier <[email protected]> • #3731
Re: Bitcoin scripting language extensions, collaboration requested
Wed, 5 Mar 2014 11:21:13 -0800
Jorge Timón <[email protected]> • #3730
Re: RE: Bitcoin scripting language extensions, collaboration requested
Mon, 3 Feb 2014 03:32:49 +0200
chris glur <[email protected]> • #3729
Re: Bitcoin scripting language extensions, collaboration requested
Wed, 5 Feb 2014 18:11:02 -0500
John Cowan <[email protected]> • #3728
Re: Bitcoin scripting language extensions, collaboration requested
Wed, 05 Feb 2014 17:42:53 -0500
John Nowak <[email protected]> • #3727
Re: Bitcoin scripting language extensions, collaboration requested
Wed, 05 Feb 2014 17:37:47 -0500
John Nowak <[email protected]> • #3726
Re: Bitcoin scripting language extensions, collaboration requested
Wed, 5 Feb 2014 13:45:08 -0800
"William Tanksley, Jr" <[email protected]> • #3725
Re: Bitcoin scripting language extensions, collaboration requested
Wed, 5 Feb 2014 13:43:25 -0800
Jon Purdy <[email protected]> • #3724
Re: Bitcoin scripting language extensions, collaboration requested
Wed, 05 Feb 2014 15:22:23 -0500
John Nowak <[email protected]> • #3723
Re: RE: Bitcoin scripting language extensions, collaboration requested
04 Feb 2014 16:37:18 -0800
<[email protected]> • #3722
Re: SPREAD (was: Bitcoin scripting language extensions, collaboration requested)
Mon, 3 Feb 2014 22:40:02 -0800
"William Tanksley, Jr" <[email protected]> • #3721
SPREAD (was: Bitcoin scripting language extensions, collaboration requested)
Mon, 03 Feb 2014 18:06:54 -0800
Mark Friedenbach <[email protected]> • #3720
Re: RE: Bitcoin scripting language extensions, collaboration requested
Mon, 03 Feb 2014 17:44:36 -0800
Mark Friedenbach <[email protected]> • #3719
RE: Bitcoin scripting language extensions, collaboration requested
02 Feb 2014 03:56:17 -0800
<[email protected]> • #3718
Re: Bitcoin scripting language extensions, collaboration requested
Sat, 1 Feb 2014 09:53:24 -0800
"William Tanksley, Jr" <[email protected]> • #3717
Re: Bitcoin scripting language extensions, collaboration requested
Fri, 31 Jan 2014 11:42:02 -0800
Mark Friedenbach <[email protected]> • #3716
Re: Bitcoin scripting language extensions, collaboration requested
Wed, 29 Jan 2014 09:12:02 +0100
Robbert van Dalen <[email protected]> • #3715
Re: Bitcoin scripting language extensions, collaboration requested
Tue, 28 Jan 2014 21:50:44 -0800
Jon Purdy <[email protected]> • #3714
Re: Bitcoin scripting language extensions, collaboration requested
Tue, 28 Jan 2014 22:05:47 -0600
Matt Hellige <[email protected]> • #3713
Bitcoin scripting language extensions, collaboration requested
Tue, 28 Jan 2014 15:34:05 -0800
Mark Friedenbach <[email protected]> • #3712
Atoms and Definitions of Joy
17 Dec 2013 11:58:44 -0800
<[email protected]> • #3711
Welcome to a few new members...
17 Dec 2013 09:03:20 -0800
<[email protected]> • #3710
Re: Make money with your own website today!
Fri, 20 Sep 2013 09:40:33 -0700
"William Tanksley, Jr" <[email protected]> • #3709
Make money with your own website today!
20 Sep 2013 09:16:47 -0700
<[email protected]> • #3708
Re: [stack] SPREAD: another kid on the block
Thu, 13 Jun 2013 16:58:08 -0700
"William Tanksley, Jr" <[email protected]> • #3707
Re: [stack] positional postfix evaluation
Tue, 28 May 2013 07:50:10 +0200
Robbert van Dalen <[email protected]> • #3706
Re: [stack] positional postfix evaluation
Mon, 27 May 2013 19:59:01 -0400
John Nowak <[email protected]> • #3705
[stack] positional postfix evaluation
Mon, 27 May 2013 21:30:51 +0200
Robbert van Dalen <[email protected]> • #3704
[stack] SPREAD: another kid on the block
Sat, 11 May 2013 23:36:09 +0200
Robbert van Dalen <[email protected]> • #3703
[stack] New discussion group for concatenative and stack languages
Mon, 14 Jan 2013 22:40:48 -0000
"William Tanksley" <[email protected]> • #3702
Re: [stack] Introducing the Om language
Sun, 6 Jan 2013 12:32:18 -0800 (PST)
Jason Erb <[email protected]> • #3701
Re: [stack] Introducing the Om language
Sat, 5 Jan 2013 11:40:50 -0800 (PST)
Jason Erb <[email protected]> • #3700
Re: [stack] Introducing the Om language
Sat, 5 Jan 2013 11:39:14 -0800 (PST)
Jason Erb <[email protected]> • #3699
Re: [stack] Re: Introducing the Om language
Sat, 5 Jan 2013 10:46:17 -0800 (PST)
Jason Erb <[email protected]> • #3698
Re: [stack] Introducing the Om language
Sat, 5 Jan 2013 09:05:45 -0800
"William Tanksley, Jr" <[email protected]> • #3697
[stack] Re: Introducing the Om language
Sat, 05 Jan 2013 10:06:33 -0000
"Ruurd" <[email protected]> • #3696
[stack] Introducing the Om language
Wed, 2 Jan 2013 22:22:22 -0800 (PST)
Jason Erb <[email protected]> • #3695
[stack] Re: Manfred von Thun
Wed, 05 Dec 2012 08:52:45 -0000
"efliski" <[email protected]> • #3694
Re: [stack] Manfred von Thun
Wed, 5 Dec 2012 02:02:31 -0500
John Cowan <[email protected]> • #3693
[stack] Manfred von Thun
Wed, 05 Dec 2012 06:38:01 -0000
"efliski" <[email protected]> • #3692
Re: [stack] peg: a lazy, non-deterministic concatenative language
Wed, 25 Apr 2012 11:38:10 -0000
"dustin.deweese" <[email protected]> • #3690
Re: [stack] peg: a lazy, non-deterministic concatenative language
Wed, 25 Apr 2012 11:12:52 -0000
"dustin.deweese" <[email protected]> • #3689
Re: [stack] peg: a lazy, non-deterministic concatenative language
Wed, 25 Apr 2012 11:54:24 +0200
eas lab <[email protected]> • #3688
Re: [stack] peg: a lazy, non-deterministic concatenative language
Mon, 23 Apr 2012 00:24:58 -0400
Joshua Shinavier <[email protected]> • #3687
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.