From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <andrej.bauer@andrej.com>
Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82])
	by sympa.inria.fr (Postfix) with ESMTPS id 9069D7ED34
	for <caml-list@sympa.inria.fr>; Fri,  6 Jul 2012 14:52:40 +0200 (CEST)
Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  andrej.bauer@andrej.com) identity=pra;
  client-ip=74.125.82.182;
  receiver=mail1-smtp-roc.national.inria.fr;
  envelope-from="andrej.bauer@andrej.com";
  x-sender="andrej.bauer@andrej.com";
  x-conformance=sidf_compatible
Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  andrej.bauer@andrej.com) identity=mailfrom;
  client-ip=74.125.82.182;
  receiver=mail1-smtp-roc.national.inria.fr;
  envelope-from="andrej.bauer@andrej.com";
  x-sender="andrej.bauer@andrej.com";
  x-conformance=sidf_compatible
Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@mail-we0-f182.google.com) identity=helo;
  client-ip=74.125.82.182;
  receiver=mail1-smtp-roc.national.inria.fr;
  envelope-from="andrej.bauer@andrej.com";
  x-sender="postmaster@mail-we0-f182.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AqMEAGHe9k9KfVK2kGdsb2JhbABFhWSgfgGPJwQDgSAIIgEBAQEJCQ0HFAQjgjECD3wPAiYCJBIBBQFXh2mYfYJhCQOLVJMBgSCNI4IKgRIDlTeOJj6EAA
X-IronPort-AV: E=Sophos;i="4.77,536,1336341600"; 
   d="scan'208";a="165865413"
Received: from mail-we0-f182.google.com ([74.125.82.182])
  by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 06 Jul 2012 14:52:40 +0200
Received: by werp13 with SMTP id p13so5499559wer.27
        for <caml-list@inria.fr>; Fri, 06 Jul 2012 05:52:40 -0700 (PDT)
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=google.com; s=20120113;
        h=mime-version:date:message-id:subject:from:to:content-type
         :x-gm-message-state;
        bh=eEDMK1LvPiMv8v2tqp2UVxZQiScaMDqTNOMZfiISEUM=;
        b=S9H8LwoUu2FRXAR6ds5cDQ52mJuQ1kGQWESdIIoFt0ZpZClITdgw9f4vny+7X4ONlr
         1MdTf2UO33nRHVqUYlt0zO9Xuharho4Gv1pWFcOp5JjD7nkmPDWQbAkDDZToMKxWns94
         GSRExmdj2n7pNFcB9p/tZqtB7GCnohgZefBF246Yw9w4pkfRdc6H3mlxFWZn/8IIY2Ke
         qP97RHIa/Ishmmu1n72bkBSiBz/JXGXHIKMjEe6csf/9JyvpLkJPoLnyWD29YB3J0S7e
         YcMErWgQpSj21B977b2VtdLEMSA497HpV2QrMoNfVgQXb5v1Z4rga3PRLpP4S215gmOm
         EuUQ==
MIME-Version: 1.0
Received: by 10.180.14.193 with SMTP id r1mr7576430wic.19.1341579159864; Fri,
 06 Jul 2012 05:52:39 -0700 (PDT)
Received: by 10.216.65.135 with HTTP; Fri, 6 Jul 2012 05:52:39 -0700 (PDT)
Date: Fri, 6 Jul 2012 14:52:39 +0200
Message-ID: <CAB0nkh33fuZyCMx78fkwgTLQ7SmtNjzjQhfP6PLr-R52N2doTw@mail.gmail.com>
From: Andrej Bauer <andrej.bauer@andrej.com>
To: caml-list@inria.fr
Content-Type: text/plain; charset=UTF-8
X-Gm-Message-State: ALoCoQnhZbVfpB3QSfyYFKNzCk76dLyn6ImgUkCG4Bi6h5FciWvW89HONZe8wRNZMA9RlwEbZw/+
Subject: [Caml-list] Agda-style parser

If I wanted a parser in Ocaml that can parse things in teh style of
Agda (with the cool underscore thingy), where would I start looking?

With kind regards,

Andrej