TODO: add a hint somewhere around here: https://github.com/JuliaLang/julia/blob/efa7e4e0fc0dfeafb5f536c5bca504f664a25dfa/base/errorshow.jl#L278-L293

to make it easier for users to discover problems like https://discourse.julialang.org/t/is-there-a-way-to-transpose-an-array-of-any-i-have-a-12x500-array-any-2-i-want/56607?u=tim.holy

Currently we've implemented a bunch of functions and constraints in a "lazy evaluation" fashion, i.e., whenever we need something for a Style program, we implement it in Penrose. We're getting to the point where we should really have a more complete/comprehensive list (e.g., that users can call at will).

How do we come up with this list? One natural idea is to simply pick some libraries, and

It should be noted that it currently applies to all of the existing packages.

Current behavior:

.> view ##Nat

  ⚠️
  
  The following names were not found in the codebase. Check your spelling.
    ##Nat

.> names ##Nat

  😶
  
  I couldn't find anything by that name.

.> alias.type ##Nat Nat

  Done.

.> names ##Nat

  Type
  Hash:  ##Nat
  Names: Nat

.> view ##Nat

  -- Nat is built-in.

Desired behavior would be something like:

Motivation

After discussion at https://scsynth.org/t/terminology-question/3372 it came to my attention there's a couple uses of ableist language in our project that we could easily replace with more inclusive language -- specifically "crazy" and "idiot". This would be really easy to do, so let's do it!

Description of Proposed Feature

Replace with better words :)

Plan for Imple

Should suppress --strict warnings.