Project

General

Profile

Statistics
| Branch: | Revision:

cool / src / lib / FunctorParsing.ml @ def3763d

History | View | Annotate | Download (6.76 KB)

# Date Author Comment
a57eb439 03/21/2017 09:12 PM Hans-Peter Deifel

Add vim modeline to all OCaml files

e0e6eb62 03/16/2017 11:15 PM Hans-Peter Deifel

Fix a few compiler warnings

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