Project

General

Profile

Statistics
| Branch: | Revision:

cool / src / lib / FunctorParsing.ml @ 40a714df

History | View | Annotate | Download (6.72 KB)

# Date Author Comment
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

d193f4aa 07/20/2014 04:54 PM Thorsten Wißmann

Remove debug output

36bfdafd 07/20/2014 04:04 PM Thorsten Wißmann

Implement parsing of composition of functors

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

Use generic functor parsing in coalg

db23edf7 07/16/2014 02:50 PM Thorsten Wißmann

Implement more generic functor parsing/printing

68ba7342 07/16/2014 02:28 PM Thorsten Wißmann

Implement sortTable generation

3879f710 07/16/2014 01:53 PM Thorsten Wißmann

Implement parsing of complex functors