commit bbe35c0 (2022-03-31 09:47:01 -0400) Torsten Scholak: add disclaimer
Tagged as: dex
Posted on Mar 10, 2022
1 min read
Say hello to Dex and see how Dex greets you.
This article is a small demonstration of Text.Pandoc.Readers.Dex.
First, two static type definitions:
Height = Fin 3
Width = Fin 8
Let's make a rectangular array:
x = for i:Height. for j:Width. 1.0
We can see the type of x with :t:
:t x
((Fin 3) => (Fin 8) => Float32)
We can print x, too:
x
[ [1., 1., 1., 1., 1., 1., 1., 1.] , [1., 1., 1., 1., 1., 1., 1., 1.] , [1., 1., 1., 1., 1., 1., 1., 1.] ]
That's all folks!