From b0bf4c937b94ec4ff303b2a200be2b2b4000dfda Mon Sep 17 00:00:00 2001
From: nils <48135649+Nilstrieb@users.noreply.github.com>
Date: Tue, 17 Aug 2021 21:48:24 +0200
Subject: [PATCH] Update README.md

---
 README.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/README.md b/README.md
index e659bfa..de7e399 100644
--- a/README.md
+++ b/README.md
@@ -1,2 +1,4 @@
 # idris-learning
 repository for random idris code
+
+this is only public because i want idris to show up in my profile :)