Giters

edwinb / ConcIO

Concurrent IO language with Uniqueness Types

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

ConcIO

About

Concurrent IO language with Uniqueness Types

License:Other

Languages

Language:Idris 100.0%