diff --git a/External-backends.md b/External-backends.md
index 24dea78..29d0ca7 100644
--- a/External-backends.md
+++ b/External-backends.md
@@ -8,4 +8,5 @@ This page lists a number of unofficial backends maintained by the community. Fee
 - [LLVM (unfinished)](https://git.sr.ht/~cypheon/rapid) - Johann Rudloff
 - [Lua](https://github.com/Russoul/Idris2-Lua) - Ruslan
 - [Malfunction](https://github.com/ziman/idris2-mlf) - Matúš Tejiščák
-- [OCaml](https://github.com/karroffel/Idris2-Ocaml) - Karroffel
\ No newline at end of file
+- [OCaml](https://github.com/karroffel/Idris2-Ocaml) - Karroffel
+- [Python](https://github.com/galtys/idris2-python-pure) - Jan Troler