Как соединить строки в Agda

Question

Как соединить строки в Agda

Чтобы получить TelephonyManager.getDeviceId(), вы можете сделать:

adb shell service call iphonesubinfo 1

Если у вас возникли проблемы с синтаксическим анализом service call, выйдите из https://gist.github.com/ktnr74/60ac7bcc2cd17b43f2cb

0

string join agda

задан Adjam 3 March 2019 в 13:16

1 ответ

Другие вопросы по тегам:

string join agda

Похожие вопросы:

score 0 · Answer 1

Agda имеет примитив под названием primStringAppend, который определен во встроенном модуле Agda.Builtin.String. Например, вы можете написать следующее:

open import Agda.Builtin.String renaming (primStringAppend to _+_)

f  : String  → String
f  x  =  x + " second string"

В зависимости от используемой вами библиотеки, она также может содержать более удобный псевдоним для primStringAppend.