This repository was archived by the owner on May 24, 2025. It is now read-only.

Repository navigation

Editorial: add note about casting to f16 - #14

Merged

bakkot merged 1 commit into

mainfrom

Dec 5, 2024

Commits on Nov 27, 2024
- Editorial: add note about casting to f16
  bakkot
  committed
  816dd16