diff options
Diffstat (limited to '2023/06/11')
| -rw-r--r-- | 2023/06/11/OCaml_News_20230611/index.html | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/2023/06/11/OCaml_News_20230611/index.html b/2023/06/11/OCaml_News_20230611/index.html index da0b569e..2574373d 100644 --- a/2023/06/11/OCaml_News_20230611/index.html +++ b/2023/06/11/OCaml_News_20230611/index.html @@ -253,6 +253,11 @@ <nav class="post-nav"> <div class="prev-item"> + <div class="icon arrow-left"></div> + <div class="post-link"> + <a href="/2023/06/17/Programming_Language_Concepts_1/">Prev</a> + </div> + </div> <div class="next-item"> |