From 73512ccd77ab52e9974353504bcf1cef1eb84cb4 Mon Sep 17 00:00:00 2001 From: Kiana Sheibani Date: Thu, 8 Dec 2022 10:02:19 -0500 Subject: [PATCH] Initial commit --- .gitignore | 5 +++++ Main.idr | 18 ++++++++++++++++++ robotlib.ipkg | 9 +++++++++ 3 files changed, 32 insertions(+) create mode 100644 .gitignore create mode 100644 Main.idr create mode 100644 robotlib.ipkg diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..26223c6 --- /dev/null +++ b/.gitignore @@ -0,0 +1,5 @@ +*.ibc +*.o + +build/ +*.*~ diff --git a/Main.idr b/Main.idr new file mode 100644 index 0000000..0a2b76b --- /dev/null +++ b/Main.idr @@ -0,0 +1,18 @@ +module Main + +import Data.NumIdr + + +||| A type for angles in radians. +public export +Angle : Type +Angle = Double + +data Joint : Nat -> Type where + Revolute : Angle -> Angle -> Joint n + +Robot : (n : Nat) -> Type +Robot n = List (Either (Joint n) (Vector n Double)) + +main : IO () +main = putStrLn "Hello World!" diff --git a/robotlib.ipkg b/robotlib.ipkg new file mode 100644 index 0000000..4a3de79 --- /dev/null +++ b/robotlib.ipkg @@ -0,0 +1,9 @@ +package robotlib +version = 0.0 + +authors = "Kiana Sheibani" +license = "MIT" + +langversion >= 0.5.1 + +depends = numidr >= 0.2.1