Code

add variable_names write-option#189

Code

Merged

ichiban merged 2 commits intomainichiban/prolog:mainfrom write-option-variable-namesichiban/prolog:write-option-variable-namesCopy head branch name to clipboardApr 2, 2022

+360-66

Commits

Commits on Apr 2, 2022

• add variable_names write-option

  ichiban

  committed
  a5dd91e

• add some tests

  ichiban

  committed
  9830dd2