From 9c98118e0a0ff9be463bc9e7afe4253a4de3d433 Mon Sep 17 00:00:00 2001 From: Tom Smeding Date: Tue, 26 Mar 2024 23:58:05 +0100 Subject: Add readme --- README.md | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100644 README.md diff --git a/README.md b/README.md new file mode 100644 index 0000000..81a71f2 --- /dev/null +++ b/README.md @@ -0,0 +1,6 @@ +Wrapper library around `orthotope` that defines nested arrays, including +tuples, of (eventually) unboxed values. The arrays are represented in +struct-of-arrays form via the `Data.Vector.Unboxed` data family trick. Below +the surface layer, there is a more low-level wrapper around `orthotope` that +defines an array type type-indexed by `[Maybe Nat]`: some dimensions are +shape-typed (i.e. have their size statically known), and some not. -- cgit v1.2.3-70-g09d2