Giters

valderman / LL

Linear Logic and Resource-Aware Functional Programming

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

LL

Linear Logic and Resource-Aware Functional Programming

About

Linear Logic and Resource-Aware Functional Programming

Languages

Language:Haskell 99.1%Language:JavaScript 0.9%Language:Shell 0.0%