Project

General

Profile

Statistics
| Branch: | Revision:

cool / src / coalg @ 40a714df

Name Size
coalg.ml 8.17 KB

Latest revisions

# Date Author Comment
f4e43751 04/27/2016 07:42 PM Christoph Egger

Add Monotone neighbourhood logic

4942adb7 04/11/2016 02:43 AM Christoph Egger

Add graph subcommand to coalg

1484d8cb 11/17/2015 03:54 PM Christoph Egger

Move verification of formula to separate step

19f5dad0 02/04/2015 05:02 AM Dirk Pattinson

Added Identity Functor and Skeleton for Default Implication

5e0983fe 01/22/2015 08:23 PM Thorsten Wißmann

Implement functor parameters for Const

77644d14 01/22/2015 07:30 PM Thorsten Wißmann

Allow functors to get parameters in the syntax

c49eea11 01/22/2015 06:58 PM Thorsten Wißmann

Implement raw syntax for constant functors

3e5fbf7e 07/21/2014 12:47 PM Thorsten Wißmann

Update helper message

a9243a88 07/16/2014 03:35 PM Thorsten Wißmann

Fixup coalg-example call

b03cc745 07/16/2014 02:59 PM Thorsten Wißmann

Use generic functor parsing in coalg

View revisions

Also available in: Atom