Safe matrix addition
| Run Settings | |
|---|---|
| Language | Idris |
| Language Version | |
| Run Command |
| Snippet Metadata | |
|---|---|
| Owner | rightfold |
| Created | |
| Modified | |
| Visibility | Public |
module Main
import Data.Vect
Matr : Nat -> Nat -> Type -> Type
Matr w h a = Vect w (Vect h a)
total
add : Matr w h Int -> Matr w h Int -> Matr w h Int
add rs1 rs2 = Data.Vect.zipWith (\cs1, cs2 => Data.Vect.zipWith (+) cs1 cs2) rs1 rs2
main : IO ()
main = putStrLn "Hello World!"
| Editor Settings | |
|---|---|
| Theme | |
| Key bindings | |
| Full width | |
| Lines |