Type-driven Development with Idris
€57,69
Currently out of stockLeave your email and we will let you know as soon as it is back, usually within 3-4 weeks.
14-day return guaranteeChanged your mind? You can cancel your order any time or return it within 14 days. Return policy
About the book
Type-driven Development with Idris by Edwin Brady.
Published by Manning Publications, (2017), Paperback, 480 pages.
Topics: Programming languages (electronic computers), Computer programming.
| Author | Edwin Brady |
|---|---|
| Publisher | Manning Publications |
| Published | 2017 m. |
| Language | English |
| Pages | 480 psl. |
| Format | Paperback |
| ISBN | 9781617293023 |