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