Giters

isomorphism / Delineate

Linear Logic toybox

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About

Linear Logic toybox

License:BSD 3-Clause "New" or "Revised" License

Languages

Language:Haskell 100.0%