Explore >> Select a destination
|
You are here 
|
aymannadeem.github.io | ||
| | | | |
www.bitsnbites.eu
|
|
| | | | | ||
| | | | |
hookrace.net
|
|
| | | | | ||
| | | | |
kevintechnology.com
|
|
| | | | | Versatile software engineer who loves improving developer productivity. | |
| | | | |
thebreakfastpost.com
|
|
| | | In a bid to expand my programming brain by learning something about "dependent types", I recently bought the Idris book. (Idris is a pure functional programming language that is mostly known for supporting dependent types. Not knowing what that really meant, and seeing that this recently-published book written by the author of the language was... | ||
