Type Driven_Development_with_Idris_v13_MEAP.pdf
用Idris实践类型驱动开发. Idris是一门具有依赖类型系统的强大编程语言.
用户评论
推荐下载
- Wicket In Action Meap
- R in Action MEAP
- Test Driven.Development.By.Example.2002测试驱动开发En
- Test Driven Development with Python2nd Edition2017
- Professional Test Driven Development with C#James Bender Jeff McWherter
- Addison.Wesley.Test.Driven.JavaScript.Development.Sep.2010.rar
- Grokking Deep Learning_MEAP v10
- Type II micro comb generation in a filter driven four wave mixing laser Invited
- Development of projection type optical scheme for computer generated Fourier hol
- Manning.Unlocking.Android.MEAP.Edition.2008.pdf