bjornbm/numtype-dk — pull request #6 by dmcclean (2014-03-09 04:55:05+00:00)
Title: KnownNat

It turns out that the linear algebra library needs access to this for the functions that extract a specific element from a matrix/vector. While we are stuck with these naturals it at least makes sense to use them consistently, although in principle I could translate all that stuff to use GHCs naturals.