From 2f8d87e8f7940c3c573338a8b726e18c054c3938 Mon Sep 17 00:00:00 2001 From: Dennis Felsing Date: Fri, 22 Sep 2023 11:55:16 +0200 Subject: [PATCH] Update links in summary of Nim article --- content/posts/nim/1/index.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/content/posts/nim/1/index.md b/content/posts/nim/1/index.md index 07bbc9f..dc6af0c 100644 --- a/content/posts/nim/1/index.md +++ b/content/posts/nim/1/index.md @@ -3,7 +3,7 @@ title: Nim author: Dennis Felsing subheading: Active Nim contributor and Master's candidate at KIT tags: ["nim"] -summary: Dennis is an active contributor to the Nim language while working on his Master's thesis at KIT. There he worked on research developing a new method for Regression Verification and teaching programming paradigms (Haskell, lambda calculus, type inference, Prolog, Scala, etc.). He also develops and runs DDNet, a unique cooperative 2D game. +summary: Dennis is an active contributor to the Nim language while working on his Master's thesis at KIT. There he worked on research developing a new method for Regression Verification and teaching programming paradigms (Haskell, lambda calculus, type inference, Prolog, Scala, etc.). He also develops and runs DDNet, a unique cooperative 2D game. date: 2015-02-09 ---