From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.text.pandoc/32352 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: =?UTF-8?Q?Amy_de_Buitl=C3=A9ir?= Newsgroups: gmane.text.pandoc Subject: ANN: pandoc-logic-proof Date: Fri, 17 Mar 2023 14:08:59 -0700 (PDT) Message-ID: <9a1c2c24-0223-414d-884b-99a889fc67b6n@googlegroups.com> Reply-To: pandoc-discuss-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_2510_749333488.1679087339055" Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="32580"; mail-complaints-to="usenet@ciao.gmane.io" To: pandoc-discuss Original-X-From: pandoc-discuss+bncBDR454V73YMRB3FN2OQAMGQEUTHIUNI-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org Fri Mar 17 22:09:03 2023 Return-path: Envelope-to: gtp-pandoc-discuss@m.gmane-mx.org Original-Received: from mail-qv1-f62.google.com ([209.85.219.62]) by ciao.gmane.io with esmtps (TLS1.3:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.92) (envelope-from ) id 1pdHJv-0008J3-Bo for gtp-pandoc-discuss@m.gmane-mx.org; Fri, 17 Mar 2023 22:09:03 +0100 Original-Received: by mail-qv1-f62.google.com with SMTP id g6-20020ad45426000000b005a33510e95asf3421621qvt.16 for ; Fri, 17 Mar 2023 14:09:03 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20210112; t=1679087342; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:reply-to:x-original-sender :mime-version:subject:message-id:to:from:date:sender:from:to:cc :subject:date:message-id:reply-to; bh=t2Dl4JGiGjacx9VvQrxsEPJuTutWasGbyYgykiIA/CM=; b=Mbc2ZwcpjrUyzUcjD7O+DXlEhDInre5EA+ONReu9gjRr1cV9nNM1zwx8u4eJNwu59R 9eK/HtoYNNHTlEd4S3MDDz9G8pd5saoaEHmE0GMOFzwVAeZho6fFAtNSfvkqEyzndZls P7jY1adaY+l3FUFCoOVzfh4dJ0DE8Bq/hLoVvjN/K5rD1b9WVYvI4YFEf/0vFy8P99xW JifA2ptnhjcalAzjEUKFvDdPNp0KTQkfxdzukjrjSuI2hnB9OY7SAJSS5YsecyA25qGq jswqOxS5mayorBE4BEUo+h7G4TkCycFvsbT3OMZUu+FmA+Xj4tWPFwqekQ3w9CKLfYWA yOEg== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=nualeargais-ie.20210112.gappssmtp.com; s=20210112; t=1679087342; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:reply-to:x-original-sender :mime-version:subject:message-id:to:from:date:from:to:cc:subject :date:message-id:reply-to; bh=t2Dl4JGiGjacx9VvQrxsEPJuTutWasGbyYgykiIA/CM=; b=YPMgyEiZeMJl7xCUYOHxk5GYHDkmGwOdWHl9zpRwuM8UN7SeBsJIuXWsDduIOFf9EU XUio0iK9AeO0vDTz05lO75Am5A8cdlVKiE+bg3U3C34ISjjIKe/rPTEWfe4wPoHlo/9O +Tt1VivEGb6P1Dr9WmWVgbv4mdbDsDBj/+IJr/OKlcmNstXWMoj3ralaU/AIrlAiKGWS zUBU3LgL5jrL0GI3bZZgsDWJqEb3hEU4Z9Hd+6VITPfDAp9DkO8tjFQyh9XDEKF4tFaI CmF8xCaPhKmxY19IEToG78FiOERQp8awTWtB2gBrpWZga4sr784Py4gl05T9fekHVSMH vqbQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; t=1679087342; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :x-spam-checked-in-group:list-id:mailing-list:precedence:reply-to :x-original-sender:mime-version:subject:message-id:to:from:date :x-gm-message-state:sender:from:to:cc:subject:date:message-id :reply-to; bh=t2Dl4JGiGjacx9VvQrxsEPJuTutWasGbyYgykiIA/CM=; b=lqkJomw2UAD45pV1OfEABpg9cwLcIglMuIHsQ0ihbhWzC2cSPMHmItMwxK3kqG1EcR 4GM8kyZqFH7ZhaJyOzzNKAJx1tSjg5cV35HCkbwu9GMoUF3Qror+gh0PBi3A/qXLw/Nr 6hcEIbGjvLc5AEM9T9W9YyTds3vb83VyCWC1fWJw/T0IV3LLUS8npTLk5cNF5gvaBGPu XEKkaf5KPx0PdcfUktjd14hl5yEmfnLKYEewpHu+EBjRpOZtEREWTKtN7F8HdiX7Zeys JNxNdIWw+8mZqLLBXQOs1c3v1AaKMQR1a+DOiyn/Lgwa2Mkojrs0TAc+9HEbisMbCiGt +ZTA== Original-Sender: pandoc-discuss-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org X-Gm-Message-State: AO0yUKUXLiSyTJFqKJJRZ/tHOdFOx5kbjcEvabzWAJGAUjuxX7LPQKl1 bLOJttUG/AraoYKxIOikpFk= X-Google-Smtp-Source: AK7set9ocBlq10nSFdtwNOUfkT9BoME8wShG00JeN97RPDZBNaJ/zY4X4wauPOmr5oNXZhT8cuMeWg== X-Received: by 2002:a05:620a:2044:b0:745:6dae:e5bf with SMTP id d4-20020a05620a204400b007456daee5bfmr3461225qka.15.1679087342298; Fri, 17 Mar 2023 14:09:02 -0700 (PDT) X-BeenThere: pandoc-discuss-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org Original-Received: by 2002:ad4:4e4e:0:b0:56e:8a76:960e with SMTP id eb14-20020ad44e4e000000b0056e8a76960els4205644qvb.9.-pod-prod-gmail; Fri, 17 Mar 2023 14:08:59 -0700 (PDT) X-Received: by 2002:a05:6214:9a1:b0:56b:ee5a:89f0 with SMTP id du1-20020a05621409a100b0056bee5a89f0mr5625112qvb.7.1679087339686; Fri, 17 Mar 2023 14:08:59 -0700 (PDT) X-Original-Sender: amy-x92Y4IBCQKU6Cx7ujrKbww@public.gmane.org Precedence: list Mailing-list: list pandoc-discuss-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org; contact pandoc-discuss+owners-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org List-ID: X-Google-Group-Id: 1007024079513 List-Post: , List-Help: , List-Archive: , List-Unsubscribe: , Xref: news.gmane.io gmane.text.pandoc:32352 Archived-At: ------=_Part_2510_749333488.1679087339055 Content-Type: multipart/alternative; boundary="----=_Part_2511_1433576220.1679087339055" ------=_Part_2511_1433576220.1679087339055 Content-Type: text/plain; charset="UTF-8" Announcing *pandoc-logic-proof*: A pandoc filter that provides a Markdown extension for logic proofs. This package has been available from my repo for a while, but I have now uploaded it to Hackage, and also made it available as a Nix flake. Hackage: https://hackage.haskell.org/package/pandoc-logic-proof Repo: https://github.com/mhwombat/pandoc-logic-proof -- You received this message because you are subscribed to the Google Groups "pandoc-discuss" group. To unsubscribe from this group and stop receiving emails from it, send an email to pandoc-discuss+unsubscribe-/JYPxA39Uh5TLH3MbocFF+G/Ez6ZCGd0@public.gmane.org To view this discussion on the web visit https://groups.google.com/d/msgid/pandoc-discuss/9a1c2c24-0223-414d-884b-99a889fc67b6n%40googlegroups.com. ------=_Part_2511_1433576220.1679087339055 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Announcing pandoc-logic-proof: A pandoc filter that provides a Markd= own extension for logic proofs. This package has been available from my rep= o for a while, but I have now uploaded it to Hackage, and also made it avai= lable as a Nix flake.

Hackage: https://hackage.haskell.org/packa= ge/pandoc-logic-proof
Repo: https://github.com/mhwombat/pandoc-logic-p= roof

--
You received this message because you are subscribed to the Google Groups &= quot;pandoc-discuss" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to pand= oc-discuss+unsubscribe-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org.
To view this discussion on the web visit https://groups.google.com/d= /msgid/pandoc-discuss/9a1c2c24-0223-414d-884b-99a889fc67b6n%40googlegroups.= com.
------=_Part_2511_1433576220.1679087339055-- ------=_Part_2510_749333488.1679087339055--