78cbe6a ^
763041a ^
6d29f20 ^
5d4f91e ^
1 2 3
4 5
6 7
8
9
10
/* module owner: Ronny Wichers Schreur */ module cocl import coclmain Start :: *World -> *World Start world = coclMain [] world