Add link, supposedly done with idris post

donald-pinckney · Jun 26, 2019 · 693c140 · 693c140
1 parent b291a11
commit 693c140
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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