Armando Santos
This is just an experiment trying to tackle #30
When working on #21 I figured that having `CoCartesian` Categories, hence coproducts and even `BiCartesian` Categories formalized it would be more elegant to express some of the fields and laws...
@smatting kindly took the time to write a document with some questions, which I link [here](https://gist.github.com/smatting/17df76579300314c43f4bbceaefaf552). First of all thanks for the questions! > You can get `Functor` implementation for...
This PR has type safe matrix construction primitives via linear maps semantics. The new file called `Alternative.hs` when ready will substitute the one called `Internal.hs`. I still need to refactor...
Just to show how it is possible to implement a block matrix inversion algorithm in a pretty straightforward way! Unfortunately is unstable for bigger matrices where the permutations of `Join`...
There are several algebraic properties in Linear Algebra of Programming that can save computation time! We should have them wherever possible so the compiler can optimize the code!
Right now I have `Enum`, `Bounded` orphan instance for Pairs `(,)` and `Either` types. And I'm looking to add an `Enum` instance for the List `[]` type. The reason for...
So I have been looking for Graph APIs and the [networkx](https://networkx.github.io/documentation/stable/reference/functions.html) for python is very rich and powerful. It has a lot of things but I just want to start...
I've been thinking about the correctness of `bindS` and if there was any way to prove that if for a data type `a`, `(Bounded a, Enum a)` are well defined...