From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr 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 B515E7ED34 for ; Fri, 6 Jul 2012 15:17:25 +0200 (CEST) Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of fabrissimo@gmail.com) identity=pra; client-ip=209.85.214.182; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="fabrissimo@gmail.com"; x-sender="fabrissimo@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail1-smtp-roc.national.inria.fr: domain of fabrissimo@gmail.com designates 209.85.214.182 as permitted sender) identity=mailfrom; client-ip=209.85.214.182; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="fabrissimo@gmail.com"; x-sender="fabrissimo@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-ob0-f182.google.com) identity=helo; client-ip=209.85.214.182; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="fabrissimo@gmail.com"; x-sender="postmaster@mail-ob0-f182.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AsEBAEPk9k/RVda2kGdsb2JhbABFpjGRAAgiAQEBAQkJDQcUBCOCGAEBAQQSAiwBLQsBAwwBBQULDQ0hIhIBBQEKEgYTEhCHWwMLC5tlCQOPFIU/JwMKiUgBBQyLLYYmA5U3gRKNFD6BVIIs X-IronPort-AV: E=Sophos;i="4.77,537,1336341600"; d="scan'208";a="165869431" Received: from mail-ob0-f182.google.com ([209.85.214.182]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 06 Jul 2012 15:17:25 +0200 Received: by obbun3 with SMTP id un3so26409796obb.27 for ; Fri, 06 Jul 2012 06:17:23 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:sender:in-reply-to:references:date :x-google-sender-auth:message-id:subject:from:to:cc:content-type; bh=9GdMbrDdkvhq8vndnNxpPGSIA29K2uoWa0RdSikkA4A=; b=fjq0JOedvdup9YVJK+5Gwki71cRjAQQmkxRAaQSe7j7qGzi053kVcEm7I2knDEmYim rsj3+AhJWUt60UwNjmBV8mp6TsQy/pQ1gxC1ekiTU6gPPcfdZM2dDav8aZneLjl3Mn/M JQJ/qyOHaOlpo01zm3QJogNBlB1ufR2vtBibHAfZqzdMEUGyzGtj69RcRpxsUkkE9OnW LWjs+/Q+wc8+P4etIYG/7hzPYwTiiNofqMuJTqV+A/xdQME54oxNSeBQ5aPvub5LCQN0 uvgMvzjnKuacf33SqNElKmU8zY/ZLJAe8p8At20ffd4HwEmGfjSa0XmFIPzVyEId5H9s eT7w== MIME-Version: 1.0 Received: by 10.182.108.71 with SMTP id hi7mr11947273obb.21.1341580643747; Fri, 06 Jul 2012 06:17:23 -0700 (PDT) Sender: fabrissimo@gmail.com Received: by 10.76.3.146 with HTTP; Fri, 6 Jul 2012 06:17:23 -0700 (PDT) In-Reply-To: References: Date: Fri, 6 Jul 2012 15:17:23 +0200 X-Google-Sender-Auth: -307EqYPtP7S_wLtHKJkmno0M-8 Message-ID: From: Fabrice Le Fessant To: Andrej Bauer Cc: caml-list@inria.fr Content-Type: text/plain; charset=ISO-8859-1 X-Validation-by: fabrice.le_fessant@inria.fr Subject: Re: [Caml-list] Agda-style parser Could you give more details about what you are looking for, for those ones who are not familiar with Agda "cool underscore thingy" ? Thx, -Fabrice On Fri, Jul 6, 2012 at 2:52 PM, Andrej Bauer wrote: > 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 > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa-roc.inria.fr/wws/info/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs > -- Fabrice LE FESSANT Chercheur en Informatique INRIA Saclay -- Ile-de-France Programming Languages and Distributed Systems