Tag: Types

The 6 Types of Working Genius A Better Way to Understand Your Gifts, Your Frustrations, and Your Team


Free Download Patrick M. Lencioni, "The 6 Types of Working Genius: A Better Way to Understand Your Gifts, Your Frustrations, and Your Team"
English | ISBN: 1637743297 | 2022 | 240 pages | AZW3 | 2 MB
New York Times best-selling author Patrick Lencioni unveils a truly groundbreaking new model that will change the way we think about work and teams forever.

(more…)

Introduction to Dependent Types with Idris Encoding Program Proofs in Types


Free Download Introduction to Dependent Types with Idris: Encoding Program Proofs in Types by Boro Sitnikovski
English | March 18, 2023 | ISBN: 1484292588 | 175 pages | MOBI | 0.86 Mb
Dependent types are a concept that allows developers to write proof-carrying code. Idris is a programming language that supports dependent types. This book will teach you the mathematical foundations of Idris as well as how to use it to write software and mathematically prove properties.

(more…)

The 6 Types of Working Genius A Better Way to Understand Your Gifts, Your Frustrations, and Your Team


Free Download The 6 Types of Working Genius: A Better Way to Understand Your Gifts, Your Frustrations, and Your Team by Patrick M. Lencioni
English | September 27, 2022 | ISBN: 1637743297 | 162 pages | PDF | 2.90 Mb
New York Times best-selling author Patrick Lencioni unveils a truly groundbreaking new model that will change the way we think about work and teams forever.

(more…)