Books / nonfiction / bibliografier

Type-Driven Development with Idris


Description


Summary: Written by the creator of Idris, this book teaches you how to improve the performance and accuracy of your code by taking advantage of a state-of-the-art type system.

Periodica

The article is a part of

The articles in  are frequently about

Articles with same topics

In


Articles

All registered articles grouped by issue

...

...

...

...

...