duplicates = multiple editions
A Classical Introduction to Modern Number Theory, Kenneth Ireland Michael Rosen
A Classical Introduction to Modern Number Theory, Kenneth Ireland Michael Rosen
Tom Lynch machinelearningdeveloper
mrocklin
/ sklearn-futures-experiment-1.ipynb
Last active
April 19, 2016 17:26
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
bishboria
/ springer-free-maths-books.md
Last active
June 8, 2024 06:39
Springer made a bunch of books available for free, these were the direct links
johnynek
/ sized_list.scala
Last active
July 3, 2021 17:54
Simple example of how to write a linked-list in scala that knows its length at compile-time. This allows you to write a zip method that is always exact.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| // I was reading through these examples: http://apocalisp.wordpress.com/2010/06/08/type-level-programming-in-scala/ | |
| // and I thought it would be nice to more quickly get to something useful, to show the power of the techniques. | |
| object SizedListExample { | |
| // Type of all Non-negative integers | |
| sealed trait Nat | |
| // This is zero. | |
| sealed trait _0 extends Nat | |
| // Successor to some non-negative number | |
| sealed trait Succ[N <: Nat] extends Nat |