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 :)