From 95ebd2d6acfa744c5e93287cc6385f4f1359376e Mon Sep 17 00:00:00 2001 From: Jedidiah Barber Date: Sun, 30 Oct 2022 03:42:11 +1300 Subject: wallgen and wallsolve working, visualwall partially done, license added --- src/sequence.mli | 13 +++++++++++++ 1 file changed, 13 insertions(+) create mode 100644 src/sequence.mli (limited to 'src/sequence.mli') diff --git a/src/sequence.mli b/src/sequence.mli new file mode 100644 index 0000000..a2fefbc --- /dev/null +++ b/src/sequence.mli @@ -0,0 +1,13 @@ + + +(* Programmed by Jedidiah Barber *) +(* Licensed under the Sunset License v1.0 *) + + +val fibonacci : len:int -> Z.t array + +val pagoda : len:int -> Z.t array + +val random : len:int -> Z.t array + + -- cgit