Fix platform incompatibility between GNU and BSD sed - Githubissues

namin / clpsmt-miniKanren

CLP(SMT) on top of miniKanren

MIT License

35 stars 8 forks source link

Fix platform incompatibility between GNU and BSD sed #6

Closed chansey97 closed 3 years ago

chansey97 commented 3 years ago

Detail see issue https://github.com/namin/clpsmt-miniKanren/issues/1

namin commented 3 years ago

Thanks!