Start to clean up Prop datatype

2025-10-22 12:07:06 +01:00
parent af245fb5bf
commit d5f985f3ab
6 changed files with 127 additions and 157 deletions
@@ -42,7 +42,6 @@ propLSThen propf lsf ls prop cont = pt0 (PutLS ls) $

 moveLSThen ::
    WdP2f -> --(World -> (Point2,Float))
-
    -- | light source offset
    Point3 ->
    Shape ->