Add Dtype.lean #16

seanmcl · 2025-01-02T18:32:42Z

Data types with byte order. A small file, so
we may want to merge this with other files in the
future.

Data types with byte order. A small file, so we may want to merge this with other files in the future.

seanmcl force-pushed the sm/02-dtype branch from 5877b82 to 604a591 Compare January 2, 2025 18:35

seanmcl force-pushed the sm/01-common branch from 5bc5c26 to 0e17abc Compare January 2, 2025 19:03

seanmcl force-pushed the sm/02-dtype branch from 604a591 to 62ec703 Compare January 2, 2025 19:05

seanmcl force-pushed the sm/01-common branch from 0e17abc to e365e9d Compare January 3, 2025 01:53

seanmcl force-pushed the sm/02-dtype branch from 62ec703 to a776805 Compare January 3, 2025 01:54

govereau approved these changes Jan 3, 2025

View reviewed changes

seanmcl force-pushed the sm/01-common branch from e365e9d to 7598103 Compare January 3, 2025 22:52

seanmcl force-pushed the sm/02-dtype branch from a776805 to 85c35c4 Compare January 3, 2025 22:57

Base automatically changed from sm/01-common to main January 3, 2025 22:59

Add Dtype.lean

629ebe3

Data types with byte order. A small file, so we may want to merge this with other files in the future.

seanmcl force-pushed the sm/02-dtype branch from 85c35c4 to 629ebe3 Compare January 3, 2025 23:00

seanmcl merged commit 8be0e0d into main Jan 3, 2025
1 check passed

seanmcl deleted the sm/02-dtype branch January 3, 2025 23:01

Provide feedback