queue-miscreant 318338e39b add about page

2025-08-08 03:22:06 -05:00

_freeze

fix typo

2025-08-07 22:52:41 -05:00

about

add about page

2025-08-08 03:22:06 -05:00

interactive/p-adics

revisions for interactive.p-adics

2025-03-03 03:33:55 -06:00

posts

add sidebars

2025-08-08 02:26:38 -05:00

_quarto.yml

add about page

2025-08-08 03:22:06 -05:00

.gitattributes

add git lfs

2025-07-22 03:56:03 -05:00

.gitignore

stage _freeze, add root and polycount indices

2025-02-24 02:48:16 -06:00

index.qmd

add index to type-algebra

2025-08-07 22:38:19 -05:00

logo-favicon.png

add git lfs

2025-07-22 03:56:03 -05:00

logo-vector.svg

add logos

2025-03-26 22:16:58 -05:00

Description

No description provided

128 MiB

Languages

Python 59.3%

Haskell 26.7%

C 7%

JavaScript 6.6%

Makefile 0.4%