toki/numidr
1
0
Fork 0
Code Issues Pull requests Activity

Fix Scalar multiplication

Browse source
This commit is contained in:
Kiana Sheibani 2022-06-25 02:34:15 -04:00 committed by GitHub
parent a615dfbdd5
commit ff50ebfd70
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
src/Data/NumIdr/Scalar.idr
View file

@ -27,6 +27,5 @@ unwrap = index 0 . getPrim
export export
Num a => Mult (Scalar a) (Scalar a) where Num a => Mult (Scalar a) (Scalar a) (Scalar a) where
Result = Scalar a
(*.) = (*) (*.) = (*)