From 63a906e4c4ab7613143929b45876aad924589e9e Mon Sep 17 00:00:00 2001 From: Kiana Sheibani Date: Tue, 13 Dec 2022 10:55:30 -0500 Subject: [PATCH] Give joint properties better names --- src/Kinematics/Joint.idr | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Kinematics/Joint.idr b/src/Kinematics/Joint.idr index d177c49..2adb5a1 100644 --- a/src/Kinematics/Joint.idr +++ b/src/Kinematics/Joint.idr @@ -41,7 +41,7 @@ public export record Joint n where constructor MkJoint ty : JointType n - l, u : Double + lower, upper : Double ||| Calculate the homogeneous matrix generated by a joint given an