No description, website, or topics provided.
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
app
src
test
.gitignore
.travis.yml
BASE.md
LICENSE
README.md
Setup.hs
TODO.md
categorical.v
package.yaml
stack.yaml

README.md

cllthask

無謀にも線形論理を基礎としたプログラミング言語を作ることに挑戦する。

参考文献

線形論理そのものについて

線形論理をどのようにプログラミングへ応用するか?