Track Awesome Idris Updates Daily

饾泴 Awesome Idris resources

馃彔 Home馃攳 Search馃敟 Feed馃摦 Subscribe馃樅 joaomilho/awesome-idris猸 353馃彿锔 Programming Languages

[ Daily / Weekly / Overview ]

Jan 24, 2020

Contents / Articles

Aug 03, 2019

Contents / Books

May 04, 2019

Contents / Projects

Nov 28, 2018

Contents / Build tools | Package managers

Nov 12, 2018

Contents / Books

Oct 13, 2017

Contents / Papers

Oct 12, 2017

Contents / Books

Contents / Presentations

Contents / Projects

Contents / Backends

Contents / Community

Oct 06, 2017

Contents / Official resources

Contents / Community

Jul 31, 2017

Contents / Articles

Contents / Books