diff --git a/_posts/idris/2019-06-25-idris-intro.md b/_posts/idris/2019-06-25-idris-intro.md
index 4ebf7c4a..af635532 100644
--- a/_posts/idris/2019-06-25-idris-intro.md
+++ b/_posts/idris/2019-06-25-idris-intro.md
@@ -222,7 +222,7 @@ Congratulations! You have written some pretty interesting Idris code to implemen
 
 # Complete Code
 
-The [complete code is available on GitHub](), as well as directly here:
+The [complete code is available on GitHub](https://github.com/donald-pinckney/donald-pinckney.github.io/blob/src/public/post_assets/idris/idris-intro/OTP.idr), as well as directly here:
 
 ```idris,editable,path=OTP_sol.idr,slice=0
 module OTP