2020-05-17 21:23:39 +00:00
|
|
|
let ContentWord = ../types/ContentWord.dhall
|
|
|
|
|
|
|
|
let render
|
|
|
|
: ContentWord.Type → Text
|
|
|
|
= λ(word : ContentWord.Type) →
|
2020-05-25 21:22:56 +00:00
|
|
|
"| ${word.word} | ${word.gloss} | ${word.definition} |"
|
2020-05-17 21:23:39 +00:00
|
|
|
|
|
|
|
in render
|