Repository URL to install this package:
|
Version:
2.13.0 ▾
|
'local' Keyword.Reserved
' ' Text.Whitespace
'let' Keyword.Reserved
' ' Text.Whitespace
'dotprod' Name
' ' Text.Whitespace
'[' Punctuation
'n' Name
']' Punctuation
' ' Text.Whitespace
"'" Punctuation
't' Name
'\n ' Text.Whitespace
'(' Punctuation
'mul' Name
':' Punctuation
' ' Text.Whitespace
't' Name
' ' Text.Whitespace
'->' Operator
' ' Text.Whitespace
't' Name
' ' Text.Whitespace
'->' Operator
' ' Text.Whitespace
't' Name
')' Punctuation
' ' Text.Whitespace
'(' Punctuation
'add' Name
':' Punctuation
' ' Text.Whitespace
't' Name
' ' Text.Whitespace
'->' Operator
' ' Text.Whitespace
't' Name
' ' Text.Whitespace
'->' Operator
' ' Text.Whitespace
't' Name
')' Punctuation
' ' Text.Whitespace
'(' Punctuation
'zero' Name
':' Punctuation
' ' Text.Whitespace
't' Name
')' Punctuation
'\n ' Text.Whitespace
'(' Punctuation
'a' Name
':' Punctuation
' ' Text.Whitespace
'[' Punctuation
'n' Name
']' Punctuation
't' Name
')' Punctuation
' ' Text.Whitespace
'(' Punctuation
'b' Name
':' Punctuation
' ' Text.Whitespace
'[' Punctuation
'n' Name
']' Punctuation
't' Name
')' Punctuation
':' Punctuation
' ' Text.Whitespace
't' Name
' ' Text.Whitespace
'=' Operator
'\n ' Text.Whitespace
'map2' Name
' ' Text.Whitespace
'mul' Name
' ' Text.Whitespace
'a' Name
' ' Text.Whitespace
'b' Name
' ' Text.Whitespace
'|>' Operator
' ' Text.Whitespace
'reduce' Name
' ' Text.Whitespace
'add' Name
' ' Text.Whitespace
'zero' Name
'\n\n' Text.Whitespace
'module' Keyword.Reserved
' ' Text.Whitespace
'matmul' Name
' ' Text.Whitespace
'(' Punctuation
'F' Name
':' Punctuation
' ' Text.Whitespace
'numeric' Name
')' Punctuation
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'{' Punctuation
'\n ' Text.Whitespace
'type' Keyword.Reserved
' ' Text.Whitespace
't' Name
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'F.t' Name
'\n ' Text.Whitespace
'open' Keyword.Reserved
' ' Text.Whitespace
'F' Name
'\n\n ' Text.Whitespace
'let' Keyword.Reserved
' ' Text.Whitespace
'matmul' Name
' ' Text.Whitespace
'[' Punctuation
'n1' Name
']' Punctuation
'[' Punctuation
'n2' Name
']' Punctuation
'[' Punctuation
'm' Name
']' Punctuation
' ' Text.Whitespace
'(' Punctuation
'xss' Name
':' Punctuation
' ' Text.Whitespace
'[' Punctuation
'n1' Name
']' Punctuation
'[' Punctuation
'm' Name
']' Punctuation
't' Name
')' Punctuation
' ' Text.Whitespace
'(' Punctuation
'yss' Name
':' Punctuation
' ' Text.Whitespace
'[' Punctuation
'm' Name
']' Punctuation
'[' Punctuation
'n2' Name
']' Punctuation
't' Name
')' Punctuation
':' Punctuation
' ' Text.Whitespace
'*' Operator
'[' Punctuation
'n1' Name
']' Punctuation
'[' Punctuation
'n2' Name
']' Punctuation
't' Name
' ' Text.Whitespace
'=' Operator
'\n ' Text.Whitespace
'map' Name
' ' Text.Whitespace
'(' Punctuation
'\\' Operator
'xs' Name
' ' Text.Whitespace
'->' Operator
' ' Text.Whitespace
'map' Name
' ' Text.Whitespace
'(' Punctuation
'\\' Operator
'ys' Name
' ' Text.Whitespace
'->' Operator
' ' Text.Whitespace
'dotprod' Name
' ' Text.Whitespace
'(' Punctuation
'*' Operator
')' Punctuation
' ' Text.Whitespace
'(' Punctuation
'+' Operator
')' Punctuation
' ' Text.Whitespace
'(' Punctuation
'i32' Keyword.Type
' ' Text.Whitespace
'0' Literal.Number.Integer
')' Punctuation
' ' Text.Whitespace
'xs' Name
' ' Text.Whitespace
'ys' Name
')' Punctuation
' ' Text.Whitespace
'<|' Operator
' ' Text.Whitespace
'transpose' Name
' ' Text.Whitespace
'yss' Name
')' Punctuation
' ' Text.Whitespace
'xss' Name
'\n' Text.Whitespace
'}' Punctuation
'\n\n' Text.Whitespace
'module' Keyword.Reserved
' ' Text.Whitespace
'matmul32' Name
' ' Text.Whitespace
'=' Operator
' ' Text.Whitespace
'matmul' Name
' ' Text.Whitespace
'f32' Keyword.Type
'\n\n' Text.Whitespace
'let' Keyword.Reserved
' ' Text.Whitespace
'main' Name
' ' Text.Whitespace
'[' Punctuation
'n' Name
']' Punctuation
'[' Punctuation
'm' Name
']' Punctuation
' ' Text.Whitespace
'(' Punctuation
'xss' Name
':' Punctuation
' ' Text.Whitespace
'[' Punctuation
'n' Name
']' Punctuation
'[' Punctuation
'm' Name
']' Punctuation
'f32' Keyword.Type
')' Punctuation
' ' Text.Whitespace
'(' Punctuation
'yss' Name
':' Punctuation
' ' Text.Whitespace
'[' Punctuation
'm' Name
']' Punctuation
'[' Punctuation
'n' Name
']' Punctuation
'f32' Keyword.Type
')' Punctuation
':' Punctuation
' ' Text.Whitespace
'?' Punctuation
'[' Punctuation
'a' Name
']' Punctuation
'[' Punctuation
'b' Name
']' Punctuation
'.' Punctuation
'[' Punctuation
'a' Name
']' Punctuation
'[' Punctuation
'b' Name
']' Punctuation
'f32' Keyword.Type
' ' Text.Whitespace
'=' Operator
'\n ' Text.Whitespace
'matmul32.matmul' Name
' ' Text.Whitespace
'xss' Name
' ' Text.Whitespace
'yss' Name
'\n' Text.Whitespace