Update Idris to version 1.3.0 #13
Conversation
There was a problem hiding this comment.
Thanks a lot @EFanZh! I should care a bit more about my chocolatey packages ;)
|
Hi @userzimmermann, is the Idris package on chocolatey going to be updated? |
OFC! Just some other urgent stuff on my TODO list... Will do it over the weekend! And actually wanna try to automate those uploads via CI... |
|
And btw @EFanZh: What are you actually doing with Idris? I'm just very curious ;) Because I personally don't find so much time and reasons to work with it... But would like to! |
|
@userzimmermann I have just begun to learn Idris. I think it is a interesting programming language. I don’t think I will use Idris to write some serious applications, but the ideas I learned from Idris may help me write better programs in other languages. |
No description provided.