Brendan Seamas Murphy

icon indicating a website link brendan.phd

icon company University of Utah icon location Salt Lake City, Utah icon location Pure math grad student

Results 5 comments of Brendan Seamas Murphy

[Feature] Bind Combinator

Related: Is there a reason there's no bind for ParseResult?

[Feature] Bind Combinator

Thanks, I had been using reflection to access `remainder`

Round out data/list

For 1, I was copying what clojure called it (same with nth). I'll change it to /= to keep with haskell. I'll add documentation tonight, sorry for the delay.

Round out data/list

The documentation has been added.

Feat(LinearAlgebra/TensorProduct/RightExactness): Tensoring with a quotient of the ring

> Also can you provide `_ ∘ₗ TensorProduct.mk R _ M 1 = Submodule.mkQ _`? Just found out that I needed them :D I'm not sure what you have in...