programming-language

Currently, this is defined only for arrays, but it seems like we should have

normalize(x::Number) = x / abs(x)

(I just came across this when trying to implement this algorithm for random unitary matrices, which is basically Q * Diagonal(normalize.(diag(R)), but I discovered that normalize didn't work.)

Should be done after #12934.

Page

• Cheatsheet

Abstract

When we're done cleaning up the cheatsheet, we could add more interesting information that's already described elsewhere but less concisely. Some ideas:

• Table of available types.
• Various types of literals (in particular string literals like

Currently they use 20.04

The builder will need to be updated and then the version of said builder will need to be updated in .cirrus.yml.

This should get a changelog entry.

Ubuntu 22.04 will be available on or around April 21, 2022.

I believe that the patch command accepts an optional patch argument, but it isn't described in help patch:

  patch
  `patch` rewrites any definitions that depend on definitions with type-preserving edits to use the
  updated versions of these dependencies.

Motivation

The Git class currently doesn't support submodules which prevents for example using submodules in Quark repos.

Description of Proposed Feature

Add a submodule method to Git and add submodule recursion to the Quark install step, eg adding the --recurse-submodules git flag to the clone command. This will download an

// ok
<<1:size(8)>>
<<1:size(x)>>

// not ok
<<1:size(7)>>

This won't catch all errors, because x could evaluate at runtime to a value that isn't a multiple of 8. However catching the literal cases when the term is explicitly an integer will still be valuable.