Toots for sjoerd_visscher@types.pl account

Written by Sjoerd Visscher on 2025-01-01 at 18:05

I've added the first module with squares to the proarrow library. It's only the basics and so still very abstract.

I think I need to fix haddock, because the way it renders kind-heavy type signatures is ridiculous. It needs more visual hierarchy!

https://sjoerdvisscher.github.io/proarrow/Proarrow-Squares.html

[#]haskell

=> More informations about this toot | View the thread

Written by Sjoerd Visscher on 2025-01-01 at 13:59

Anything found in the category of categories and functors is profound in the category of categories and profunctors.

This is a joke but also feels kind of true?

=> More informations about this toot | View the thread

Written by Sjoerd Visscher on 2024-11-08 at 10:47

Shower thought 1: If you're the kind of programmer that hates that top and bottom have a different character length, then you're allowed to shorten bottom to bot but then you also have to rename top to tob.

=> More informations about this toot | View the thread

=> This profile without reblog | Go to sjoerd_visscher@types.pl account