Idris 0.9.15.1 released | Idris
A new version of Idris, 0.9.15.1, has been released. You can find this on hackage, or from the download page. The tutorial has also been updated. Thanks as always to everyone who has contributed, either with code, documentation or by testing and reporting issues. You can find the names of all contributors in the CONTRIBUTORS file in the source repository. Idris is still research software, so we ex
Episode 2: Edwin Brady on Idris
In our second episode, we speak with Edwin Brady from the University of St. Andrews. Since 2008, Edwin has been working on Idris, a functional programming language with dependent types. This episode is very much about programming: we discuss the language Idris, its history, its implementation strategies, and plans for the future. Reading: Inductive Families Need Not Store Their Indices by Edwin Br
Search
Releases, Offers & More Be the first to hear about our newest content, best promotions and upcoming events. Plus get 25% off your next purchase. Newsletter Sign Up Download Accounts Your email address is your account identifier. You can create a password, or just download from the links sent via email. My Orders (Resend order emails) How We're Different Hands-on instructions Solutions to real-worl
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Create new page · idris-lang/Idris-dev Wiki
EvenOdd in Agda, Idris, Haskell, Scala - BAM Weblog
