Idris Language

@idrislang

The Idris Programming Language. Tweets by

idris-lang.org
Vrijeme pridruživanja: ožujak 2017.
0 fotografija ili videozapisa Fotografije i videozapisi

Tweetovi

Blokirali ste korisnika/cu @idrislang

Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @idrislang

  1. 22. srp 2019.

    Idris 1.3.2 has been released This includes what you need to build the rapidly developing Idris 2, which you can find here:

    32 proslijeđena tweeta 86 korisnika označava da im se sviđa
    Poništi
  2. proslijedio/la je Tweet
    8. srp 2019.

    I'm making this thing:

    9 replies 82 proslijeđena tweeta 265 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  3. 23. lis 2018.

    Idris 1.3.1 has been released. This fixes build issues with GHC 8.6, and some run-time system issues.

    27 proslijeđenih tweetova 80 korisnika označava da im se sviđa
    Poništi
  4. 26. svi 2018.

    Idris 1.3.0 has been released. Mostly bug fixes and performance improvements. Full details here:

    1 reply 41 proslijeđeni tweet 89 korisnika označava da im se sviđa
    Poništi
  5. 7. sij 2018.

    Idris 1.2.0 has been released. Enjoy! Details here:

    111 proslijeđenih tweetova 206 korisnika označava da im se sviđa
    Poništi
  6. proslijedio/la je Tweet
    9. stu 2017.

    Slides to my Flying Spaghetti Monster talk on and protocols are online -

    1 reply 17 proslijeđenih tweetova 29 korisnika označava da im se sviđa
    Poništi
  7. proslijedio/la je Tweet
    8. stu 2017.

    I'm realising we have three talks about Idris this year, and none of them are by . I'm calling it: Idris is mainstream now.

    6 replies 27 proslijeđenih tweetova 94 korisnika označavaju da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  8. proslijedio/la je Tweet
    9. kol 2017.

    Want to put your two cents on my first trials in ? Feedback welcome! pls RT

    4 proslijeđena tweeta 7 korisnika označava da im se sviđa
    Poništi
  9. proslijedio/la je Tweet
    8. kol 2017.

    Deal of the Day Aug 8: Type-Driven Development with Idris! Use code dotd080817tw at

    30 proslijeđenih tweetova 30 korisnika označava da im se sviđa
    Poništi
  10. 5. kol 2017.

    Idris 1.1.1 has been released. This fixes an installation issue with 1.1.0, plus other improvements. Details here:

    31 proslijeđeni tweet 50 korisnika označava da im se sviđa
    Poništi
  11. 1. kol 2017.

    Idris 1.1.0 has been released. Highlights: new JS codegen, and various new libraries. Details here:

    81 proslijeđeni tweet 157 korisnika označava da im se sviđa
    Poništi
  12. proslijedio/la je Tweet
    24. svi 2017.

    Read about type-level functions and calculating types.

    23 proslijeđena tweeta 35 korisnika označava da im se sviđa
    Poništi
  13. proslijedio/la je Tweet
    1. svi 2017.

    EdLambda Tuesday 9th May - Type-driven Development with Idris, with Edwin Brady.

    6 proslijeđenih tweetova 5 korisnika označava da im se sviđa
    Poništi
  14. 2. tra 2017.

    We still have lots of work to do on Idris - see for some ideas if you’re interested in contributing.

    1 reply 29 proslijeđenih tweetova 65 korisnika označava da im se sviđa
    Poništi
  15. 1. tra 2017.

    Idris 1.0 has been released. Details here:

    6 replies 259 proslijeđenih tweetova 336 korisnika označava da im se sviđa
    Poništi
  16. proslijedio/la je Tweet
    27. ožu 2017.

    For those interested in there are projects that might be of interest.

    5 proslijeđenih tweetova 11 korisnika označava da im se sviđa
    Poništi
  17. 26. ožu 2017.

    Idris 0.99.2 has been released, just including some bug fixes and small updates. See for details

    11 proslijeđenih tweetova 24 korisnika označavaju da im se sviđa
    Poništi
  18. 24. ožu 2017.

    New addition to the Idris documentation: implementing state-aware systems with Control.ST

    1 reply 5 proslijeđenih tweetova 21 korisnik označava da mu se sviđa
    Poništi
  19. proslijedio/la je Tweet
    14. ožu 2017.

    Type-Driven Development with Idris - Final PDF eBook Edition available now! pBook: March 22

    65 proslijeđenih tweetova 130 korisnika označava da im se sviđa
    Poništi
  20. 8. ožu 2017.

    Idris 0.99.1 has been released. Full details here:

    36 proslijeđenih tweetova 55 korisnika označava da im se sviđa
    Poništi

@idrislang još nije objavio nijedan Tweet.

Čini se da učitavanje traje već neko vrijeme.

Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.

    Možda bi vam se svidjelo i ovo:

    ·