From 352113071a528a58b66ec1a77e912a7477dde248 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Piotr=20Paradzi=C5=84ski?= Date: Tue, 21 Nov 2023 12:52:36 +0100 Subject: [PATCH] Add agda2rust to README --- README.md | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) diff --git a/README.md b/README.md index 7bedc60..e641d52 100644 --- a/README.md +++ b/README.md @@ -28,9 +28,10 @@ cabal test all ``` ## Resources -* docs for [Agda package](https://hackage.haskell.org/package/Agda) on Hackage - * [Agda.Compiler.Backend](https://hackage.haskell.org/package/Agda/docs/Agda-Compiler-Backend.html) - * [JS compiler](https://hackage.haskell.org/package/Agda/docs/Agda-Compiler-JS-Compiler.html) - * [GHC compiler](https://hackage.haskell.org/package/Agda/docs/Agda-Compiler-MAlonzo-Compiler.html) +* [Agda package](https://hackage.haskell.org/package/Agda) on Hackage with + * docs for [Agda.Compiler.Backend](https://hackage.haskell.org/package/Agda/docs/Agda-Compiler-Backend.html) + * build-in [JS backend](https://hackage.haskell.org/package/Agda/docs/Agda-Compiler-JS-Compiler.html) + * build-in [Haskell backend](https://hackage.haskell.org/package/Agda/docs/Agda-Compiler-MAlonzo-Compiler.html) * [agda2scheme](https://github.com/jespercockx/agda2scheme) -* [agda2hs](https://github.com/agda/agda2hs) +* [agda2hs](https://github.com/agda/agda2hs), ([publication](https://iohk.io/en/research/library/papers/reasonable-agda-is-correct-haskell-writing-verified-haskell-using-agda2hs/)) +* [agda2rust](https://github.com/HectorPeeters/agda2rust), ([publication](https://repository.tudelft.nl/islandora/object/uuid:39bff395-1bd6-4905-8554-cef0cd5e7d3e))