Merge pull request #8 from lemastero/add-agda2rust

Add agda2rust to README
lemastero · Nov 21, 2023 · 3577783 · 3577783
2 parents 3e70588 + 3521130
commit 3577783
Showing 1 changed file with 6 additions and 5 deletions.
diff --git 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))