A Neighborhood of Infinity
Monday, August 21, 2023
What does it mean for a monad to be strong?
›
This is something I put on github years ago but I probably should have put it here. Here's an elementary example of the use of the list...
Sunday, March 05, 2023
Constructing Clifford Algebras using the Super Tensor Product
›
Some literate Haskell but little about this code is specific to Haskell... > {-# LANGUAGE DataKinds #-} > {-# LANGUAGE TypeFamilies ...
›
Home
View web version