- From: Paul Libbrecht <paul@hoplahup.net>
- Date: Thu, 17 Feb 2022 17:25:47 +0100
- To: www-math@w3.org
Received on Thursday, 17 February 2022 16:26:06 UTC
Hello all, In order for us to see more through the list of intents and be sort-agnostic, I’ve created a little “display” of the intents that are gathered inside the table of level 1 with a little heuristic trying to show a “big symbol” for each intent. It can be seen here: http://notations.hoplahup.net/IntentsList/index.html The code is based on a civ export of the table followed by the execution of [this script](http://notations.hoplahup.net/IntentsList/intents-list.js). All this will move to a repo soon. It does not, yet, display the whole information contained in the table. There’s many things that can be commented upon from there. I am happy if we could talk about it in the call later. Paul
Received on Thursday, 17 February 2022 16:26:06 UTC