Armando Santos

icon indicating a website link https://www.linkedin.com/in/armando-santos-590b4315b/ icon indicating an email [email protected]

icon company @well-typed icon location Portugal - Braga

Results 5 repositories owned by Armando Santos

advent-of-haskell-dd

95
Stars
3
Forks
Watchers

Day 9 of Advent of Haskell - Denotational Design

verified publisher icon bolt12

laop

82
Stars
4
Forks
Watchers

Linear Algebra of Programming - Algebraic Matrices in Haskell

verified publisher icon bolt12

master-thesis

23
Stars
0
Forks
Watchers

Selective Functors & Probabilistic Programming

verified publisher icon bolt12

study-for-free

21
Stars
1
Forks
Watchers

Notes of various papers regaridng free monads and extensible effects

verified publisher icon bolt12

tymfgg-pearl

29
Stars
3
Forks
Watchers

Type Your Matrices For Great Good

verified publisher icon bolt12