Project

General

Profile

Statistics
| Branch: | Revision:

cool / src / owl @ 7c4d2eb4

Name Size
OWL.ml 1.96 KB
OWL.mli 594 Bytes
OWLFunctionalParser.ml 4.01 KB
OWLFunctionalParser.mli 875 Bytes

Latest revisions

# Date Author Comment
7c4d2eb4 04/23/2014 11:21 AM Thorsten Wißmann

Separate cool into library and coalg frontend

View revisions

Also available in: Atom