From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <andrej.bauer@andrej.com>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by sympa.inria.fr (Postfix) with ESMTPS id 8CFFC7ED34
	for <caml-list@sympa.inria.fr>; Fri,  6 Jul 2012 23:50:20 +0200 (CEST)
Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  andrej.bauer@andrej.com) identity=pra;
  client-ip=209.85.212.174;
  receiver=mail4-smtp-sop.national.inria.fr;
  envelope-from="andrej.bauer@andrej.com";
  x-sender="andrej.bauer@andrej.com";
  x-conformance=sidf_compatible
Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  andrej.bauer@andrej.com) identity=mailfrom;
  client-ip=209.85.212.174;
  receiver=mail4-smtp-sop.national.inria.fr;
  envelope-from="andrej.bauer@andrej.com";
  x-sender="andrej.bauer@andrej.com";
  x-conformance=sidf_compatible
Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@mail-wi0-f174.google.com) identity=helo;
  client-ip=209.85.212.174;
  receiver=mail4-smtp-sop.national.inria.fr;
  envelope-from="andrej.bauer@andrej.com";
  x-sender="postmaster@mail-wi0-f174.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AgwCAMxc90/RVdSuimdsb2JhbABFhRRQsWsIIgEBAQoJDQcSBiOCGQEBBAwGAg9mCQILDwImAgIiEgEFARwhGodpnA0JA4tUkwKBII0jggqBEgOVN44mPoQA
X-IronPort-AV: E=Sophos;i="4.77,540,1336341600"; 
   d="scan'208";a="149896310"
Received: from mail-wi0-f174.google.com ([209.85.212.174])
  by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 06 Jul 2012 23:50:17 +0200
Received: by wibhr14 with SMTP id hr14so950459wib.9
        for <caml-list@inria.fr>; Fri, 06 Jul 2012 14:50:17 -0700 (PDT)
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=google.com; s=20120113;
        h=mime-version:in-reply-to:references:date:message-id:subject:from:to
         :content-type:content-transfer-encoding:x-gm-message-state;
        bh=MFuOEVyoqWjJEuvpPmgC3nS/hLEj4yvAjf/dkJRgyNg=;
        b=Goi48z+pFcZRuZD/d/P+BmPEXhxUrpva+r4Q8o6hPLSqk5qcl2I7dSfUHawdj2YfpS
         Kx1ThI4qZoBFQZl1fhzXHaH4VHoVur4D3UkP7UwdS6eWUutMAn+WdL47qh2IwZfX2Z77
         BFw9uH+f3vEamn+YZkCXK9hvTInQGgC3T+CljnesP3oO2s5zeXgseNg/iyaV+SyOO1JN
         7Xf8daiueIppHCcDWq6RmldJ7QlF5jf+gi6qrtvmPLj57FCZiuZOLgRrS6y2d2YZK2MS
         lFRyPLsQv2By098BgO3jhrE97G/Lzl9Dl0794P7zuPD0aT8DeyrWJol5gEkvKHZCn7DO
         Qkgg==
MIME-Version: 1.0
Received: by 10.216.208.80 with SMTP id p58mr8442574weo.139.1341611417541;
 Fri, 06 Jul 2012 14:50:17 -0700 (PDT)
Received: by 10.216.65.135 with HTTP; Fri, 6 Jul 2012 14:50:17 -0700 (PDT)
In-Reply-To: <20120706171537.0d1ffbf4@caladan.esterel-technologies.com>
References: <CAB0nkh33fuZyCMx78fkwgTLQ7SmtNjzjQhfP6PLr-R52N2doTw@mail.gmail.com>
	<20120706171537.0d1ffbf4@caladan.esterel-technologies.com>
Date: Fri, 6 Jul 2012 23:50:17 +0200
Message-ID: <CAB0nkh05_Pp2bWbrOBjLpnn7QUxgR8bqdum4NLtM5ZWTs1kdWA@mail.gmail.com>
From: Andrej Bauer <andrej.bauer@andrej.com>
To: caml-list@inria.fr
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable
X-Gm-Message-State: ALoCoQkznJYg6gvi3ygGDGvieLP+unUfheITmjFreEysGVRU50Waq5gOAa9wydnZu7gBQ5GMCu9X
Subject: Re: [Caml-list] Agda-style parser

Dear J=C3=A9r=C3=A9mie and Gabriel, thanks for your answers, they're both v=
ery useful!

I wonder if the Agda-style "let's use crazy utf-8 characters and any
kind of notation we think of" is the future of programming language
syntax. It's certainly appealing to mathematicians.

With kind regards,

Andrej