RamonAbudAlcala

Hi, I've been having a lot of fun going through the scala excercises. Thanks for this! I just noticed that in the lesson for Lazy Lists there are a few...

When using LuaLaTeX one may load `\usepackage{luacode}` which provides a small arrange of commands and environments to handle lua code better than the native `\directlua`. When using these environment the...

When drawing an n-cell for n>1 one usually needs to re-draw the source/target of the cell that is saved with the "source" or "target" button. It would be nice for...

Load a known structure

1

It would be useful to load old structures to new workspaces. A simple example is, if one wants to define/draw a morphism between monoids, first you draw the two monoids...

Move all cells up a dimension

1

Move all cells up a dimension by adding a unique 0-cell, that will be the source and target of all the previous 0-cells. This is good if, for example one...

Just as the title says. I am running a Debian Bookworm. Cockpit installed via `apt -t bookworm-backports`. Not sure if anyone can reproduce but, I can use my virtual machines...

Added Proton, Binance | Changed Table to include instructions and comments

1

Hi I found this list and was trying to set up as many passkeys on my account as I could. When I saw Microsoft on this list I was surprised...