vic/katan

Small logic programming language, based on typed concatenative effects. [scala prototype]

Source code at GitHub https://github.com/vic/katan

{
  "defaultBranch": "main",
  "description": "Small logic programming language, based on typed concatenative effects. [scala prototype]",
  "fullName": "vic/katan",
  "homepage": "",
  "language": "Scala",
  "name": "katan",
  "pushedAt": "2022-02-17T01:46:15Z",
  "stargazersCount": 0,
  "updatedAt": "2022-02-17T01:37:33Z",
  "url": "https://github.com/vic/katan"
}

404: Not Found