List of strings to string
| Run Settings | |
|---|---|
| Language | ATS |
| Language Version | |
| Run Command |
| Snippet Metadata | |
|---|---|
| Owner | Arets Paeglis |
| Created | |
| Modified | |
| Visibility | Public |
#include "share/atspre_staload.hats"
staload "libats/ML/SATS/list0.sats"
implement main0 () = () where
{
val str = stringlst_concat($list{string}("H", "e", "l", "l", "o"))
val () = println! (str)
val () = strptr_free (str)
}
| Editor Settings | |
|---|---|
| Theme | |
| Key bindings | |
| Full width | |
| Lines |