Update Idris to version 1.3.0

[EFanZh]

No description provided.

[userzimmermann]

Thanks a lot @EFanZh! I should care a bit more about my chocolatey packages ;)

[EFanZh]

Hi @userzimmermann, is the Idris package on chocolatey going to be updated?

[userzimmermann]

@EFanZh

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...

[userzimmermann]

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!

[EFanZh]

@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.