toki/idris2-robotlib
1
0
Fork 0
Code Issues Pull requests Activity

Give joint properties better names

Browse source
This commit is contained in:
Kiana Sheibani 2022-12-13 10:55:30 -05:00
parent 0a7e716ec5
commit 63a906e4c4
Signed by: toki
GPG key ID: 6CB106C25E86A9F7
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/Kinematics/Joint.idr
View file

@ -41,7 +41,7 @@ public export
record Joint n where record Joint n where
constructor MkJoint constructor MkJoint
ty : JointType n ty : JointType n
l, u : Double lower, upper : Double
||| Calculate the homogeneous matrix generated by a joint given an ||| Calculate the homogeneous matrix generated by a joint given an