From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTP id 2F8435D4 for ; Wed, 8 May 2019 02:01:30 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.60,444,1549926000"; d="scan'208,217";a="382184140" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 08 May 2019 04:01:28 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 605B8826D0; Wed, 8 May 2019 04:01:28 +0200 (CEST) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 683D082674 for ; Wed, 8 May 2019 04:01:12 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=kennethadammiller@gmail.com; spf=Pass smtp.mailfrom=kennethadammiller@gmail.com; spf=None smtp.helo=postmaster@mail-io1-f43.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AtrVNPhLpo725CKH5TNmcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgRLfzxwZ3uMQTl6Ol3ixeRBMOHsqsC27Od7viocFdDyK7JiGoFfp1IWk1Nou?= =?us-ascii?q?QttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZr?= =?us-ascii?q?KeTpAI7SiNm82/yv95HJbAhEmSexbalxIRmrogncttUaipZ+J6gszRfEvmFGcP?= =?us-ascii?q?lMy2NyIlKTkRf85sOu85Nm7i9dpfEv+dNeXKvjZ6g3QqBWAzogM2Au+c3krgLD?= =?us-ascii?q?QheV5nsdSWoZjBxFCBXY4R7gX5fxtiz6tvdh2CSfIMb7Q6w4VSik4qx2ThLjlS?= =?us-ascii?q?UJOCMj8GzPhcN+jKxVrhG8qRJh34HZe5uaOOZkc67HYd8WWWhMU8BMXCJBGIO8?= =?us-ascii?q?aI4PAvIEM+lGqYn9oUUBrQe+BQKxGO7g1yVHhnrr1qM90uQhFQXG0xI6H9kTt3?= =?us-ascii?q?nUr8v6NKEUUe+r0KnIzS/MYO5M1jf47YjIcxQhofWSUrJqasfRxkwvGBnEjlWU?= =?us-ascii?q?s4DqIzSV1uEUvmWd8uFuVvqvhnY5pw1tpjWj3MQhh4nTio4Iy13J9D91zYk7KN?= =?us-ascii?q?C+VUV1e8SrEIFKuCGfL4Z2Qt0tQ2VvuCsiz70Jo5+7fCwTxJQmwB7TduWLc4aH?= =?us-ascii?q?7x/tTuqRLjB4hHVqeLK7mRm+61Svyur5VsWs0VZKqDRKksXUu3wTyxDe7tKLR/?= =?us-ascii?q?h980u7xDqC1gHe5vtLLE06jabbLoQuwr80lpodq0TDGSr2lV31jKCIcEUk/Pan?= =?us-ascii?q?6/jnYrr8u5CTLYp0igT/MqQqnsywH/44PxMBX2ie4+u81bnj8VflT7VNi/06ir?= =?us-ascii?q?PZv4zCJcQHuq65BBdY3Zo55Ba6CzeqydAYnXgcLFJZYx+HlIjoO1TWIP/iF/u/?= =?us-ascii?q?glKskC1qx//cJLHhDI/NfTD/l+LqdLN5o1NHxRAohYRU7pdQT7UAO+7bW0nrtd?= =?us-ascii?q?WeAAVvYCKuxOOyK9h70I4CWSqmDqaceIbTtVuF/Kp7IOSKYoIJuD/xIv0g5vrq?= =?us-ascii?q?gGURlloUfK3v1pwSPiPrVs96KlmUNCK/yuwKFn0H61JnHb7azWaaWDsWXE6cGq?= =?us-ascii?q?c15zU1EoWjVN6RSYWkgbjH1yC+TMQPOjJ2T2uUGHKtTL2qHu8WYXvLcMBkmz0A?= =?us-ascii?q?E7OmTt15jEz8hErB07Nia9Hs1GgYuJbkjoUn4uTSkVQz8mUxAZjGlW6KSG5wky?= =?us-ascii?q?UDQDpkhK0=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DuAQDYN9JchiumVdFkHgEGBwaBZYN+K?= =?us-ascii?q?IQQgR2CXpp4dIRkgzCHdhCHBRsHAQQ0EwEDAQEEAQECAQEBARMBAQEICwsIKSM?= =?us-ascii?q?MgjoigmUzHQEbHgMSCAECBTcCJAERAQUBIoM1gWoBAx2eQIMfPIsdgRIFAReCe?= =?us-ascii?q?gWENgoZJw1dA4E5AgcSgSCLTheBf4wvglgEp0IJgguSTxuCAAGTVoVHm2wPIYF?= =?us-ascii?q?FgXczGiOBAYI7gg8ag1WKbyYwkUgBAQ?= X-IPAS-Result: =?us-ascii?q?A0DuAQDYN9JchiumVdFkHgEGBwaBZYN+KIQQgR2CXpp4dIR?= =?us-ascii?q?kgzCHdhCHBRsHAQQ0EwEDAQEEAQECAQEBARMBAQEICwsIKSMMgjoigmUzHQEbH?= =?us-ascii?q?gMSCAECBTcCJAERAQUBIoM1gWoBAx2eQIMfPIsdgRIFAReCegWENgoZJw1dA4E?= =?us-ascii?q?5AgcSgSCLTheBf4wvglgEp0IJgguSTxuCAAGTVoVHm2wPIYFFgXczGiOBAYI7g?= =?us-ascii?q?g8ag1WKbyYwkUgBAQ?= X-IronPort-AV: E=Sophos;i="5.60,444,1549926000"; d="scan'208,217";a="382184041" X-MGA-submission: =?us-ascii?q?MDFMXFXs/yavStyq/OBNdpqAYytC4fbzu70SlN?= =?us-ascii?q?jBSISm2oxIRyV3NTfUBGfP3PFll/UaSeNhSjhXaDEQ/6wFqvPwh/rdrx?= =?us-ascii?q?Pj7zDS6TDKmgjyfX21Xc2MCEuk7IKzqXS+gbbwk+kMXoxX9bHWhaIb/d?= =?us-ascii?q?F70soqNtNfuC7J+R3XmYOMfA=3D=3D?= Received: from mail-io1-f43.google.com ([209.85.166.43]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 08 May 2019 04:01:11 +0200 Received: by mail-io1-f43.google.com with SMTP id p2so4644345iol.2 for ; Tue, 07 May 2019 19:01:11 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to; bh=LMRToc80XIhZV4lghx2iXHhJ4kSaz6BhAKGjVIMsrgk=; b=Szs54SIjRWB3ZzENFM24N5we0mNMocFzk0aecjxhIfrtQXNTCG3CQCLjk4w4VYFETi kGi7TMIB9J3PnjlYFJxaiNa57LzI6QsT+g/Y6lNd7ulGeJ2sKteXQj6/H+QYiKRo/+kH KVvrbZKnAwB6lLpIa6HUdfrg1XY9OsssQEjA0zaMtDuP26bU24oezBFee4TvHiStPh56 WfXWEDLkKbKC2DGUga4PrKZ/aP5jcqfz7MD2rytmKlZTkU05LCrAZ7g/rYNcsm+2Utud HR8Y7XCAvPcn7f+PK6EIEsSz81L9ihT3cdEnf6cMdwoSV5+iqzZHRIgnAvZi9q9Xz2p/ cjig== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=LMRToc80XIhZV4lghx2iXHhJ4kSaz6BhAKGjVIMsrgk=; b=XvQ+cfWxPNFP7TkYrCF3SqfaLLwvI3nLsX7PGbJjFjsQ9U53M6EMQAiqVO+otI08Va QAWPL1ZSRV0DA708Ht4tyZYFVm45smElYw1C2ec3fmjPzV+U2OPyETbU4jAAteD7PLgK yiy1XFIWXdGVjpXEkIiI4OWJmRjVnOKwFNlT96S9HP7OQ8gE+euvamoZctBSOUQJPCsC ZHZMcf3W0H4WojHHGXyHc92UtLzVW8E+caDa/aaUlNLDCn8Y/xRFDsuhc9jzidT7Sz3J YimBu5Bw6eci/KDSYxiqUf6vggS8Ji4QrPJFO4SQVu3tfd68SzTERdnDd6i/l0ISc6N9 OuWQ== X-Gm-Message-State: APjAAAUhE0AOe+3PElBB+uOh7SnETpmGij3SmF9Gta0qS/c1uNrUTObt dtsf6Q7muGKjHsaRLoIk1HnO/5OkVjfG/XOfU8XW/Q== X-Google-Smtp-Source: APXvYqyJZVG4g3GLL68P+arCXKQ+DquxmITxUgBtLlpDf8IJXwmVK+JDBvGmlF83gF/zIAViFUvXGtZ9d1ifZdFwApE= X-Received: by 2002:a5d:9d4f:: with SMTP id k15mr6258640iok.100.1557280869993; Tue, 07 May 2019 19:01:09 -0700 (PDT) MIME-Version: 1.0 From: Kenneth Adam Miller Date: Tue, 7 May 2019 22:00:58 -0400 Message-ID: To: caml users Content-Type: multipart/alternative; boundary="000000000000124f20058856b5d2" Subject: [Caml-list] Probabilistic Programming Reply-To: Kenneth Adam Miller X-Loop: caml-list@inria.fr X-Sequence: 17536 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: --000000000000124f20058856b5d2 Content-Type: text/plain; charset="UTF-8" Does anybody know if there is an opam package anywhere for Hansei? Or if there are alternatives to Hansei that can interoperate with OCaml really well? --000000000000124f20058856b5d2 Content-Type: text/html; charset="UTF-8"
Does anybody know if there is an opam package anywhere for Hansei? Or if there are alternatives to Hansei that can interoperate with OCaml really well?
--000000000000124f20058856b5d2--