Giters

vic / katan

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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About

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

License:Apache License 2.0

Languages

Language:Scala 70.5%Language:Shell 29.5%