Laurenz 29b31c4a5a New import syntax

2023-01-03 12:32:17 +01:00

..

basics

Rename desc to terms

2022-12-22 18:25:29 +01:00

compiler

New import syntax

2023-01-03 12:32:17 +01:00

compute

Rename the create category to construct

2022-12-21 23:51:15 +01:00

layout

Align set rule

2022-12-09 10:21:11 +01:00

math

Move highlighting into new IDE module

2022-12-14 10:02:19 +01:00

meta

Heading numbering and outline

2022-12-02 15:53:01 +01:00

text

Symbol notation

2022-12-05 12:25:37 +01:00

visualize

Clamp shape radii

2022-12-30 10:07:46 +01:00

coma.png

Reorganize library and tests

2022-11-29 14:18:13 +01:00

empty.png

Reorganize library and tests

2022-11-29 14:18:13 +01:00