This commit is contained in:
2022-08-20 18:41:04 +01:00
parent ff9dbdf068
commit 6e598339f1
84 changed files with 58 additions and 216 deletions
-2
View File
@@ -15,8 +15,6 @@ import Geometry.Data
import qualified Quaternion as Q
import Shape.Data
import ShapePicture.Data
import TH.Derive
import Data.Store
data Prop
= PropZ