New release, Idris 0.9.7

[Edwin Brady]

Dear all,
I have released a new version of Idris onto hackage. Details are here:

http://idris-lang.org/archives/246

As usual, you can install with 'cabal update; cabal install idris'. There are few user visible changes, but there has been a large change to the implementation of type checking and unification, so please let me know if anything unexpected happens (either in a good or bad way!).

This release is timed to coincide with a course I'm giving this week (details here: https://sdg.wikit.itu.dk/Dependently+Typed+Functional+Programming+with+Idris+-+2013). Slides and example code will be available afterwards. If you're interested, there are accompanying exercises here:

http://www.cs.st-andrews.ac.uk/~eb/Idris/exercises.pdf

Edwin.

[mukesh tiwari]

Hi Edwin

It would be great if you can post the video lectures from the course.

Mukesh Tiwari

Edwin.

--
You received this message because you are subscribed to the Google Groups "Idris Programming Language" group.
To unsubscribe from this group and stop receiving emails from it, send an email to idris-lang+...@googlegroups.com.
For more options, visit https://groups.google.com/groups/opt_out.

[bo...@pik-potsdam.de]

Edwin,

I am still sticking to

Idris-dev-95607a59c7c6dad01d76fdc00ced030947ea0c55

With more recent versions -- including the latest -- we get troubles
with applications of |replace|. For instance, the following code type
checks with the above version but not with the latest one (of course,
this might be the correct behavior). I suggest we look into this problem
next week when you'll be in Potsdam.

[Edwin Brady]

Hi Nicola,
Interesting… this is probably caused by the new unification algorithm. If it's not urgent, we can take a look next week but I'll try to do something before then if possible (or decide if it's the right behaviour, of course! Though I suspect it isn't.)

Has anyone else experienced anything like this?

Edwin.

> <test_modify.lidr>
> ciao,
> Nicola

[Alan Pogrebinschi]

+1

[DAY]

On Monday, March 11, 2013 6:14:32 AM UTC+1, mukesh tiwari wrote:

Hi Edwin

It would be great if you can post the video lectures from the course.

I found the video via the Haskell reddit: http://vimeo.com/61576198