commit 73512ccd77ab52e9974353504bcf1cef1eb84cb4 Author: Kiana Sheibani Date: Thu Dec 8 10:02:19 2022 -0500 Initial commit 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