[06:14:53] I'm only working with English. I don't need functor, interface and instance modules. [06:38:03] But before, cargo-culting code from the tutorial, having them was the only way I could get my abstract and concrete syntax modules to compile. [09:04:49] *** Joins: myoriel (~Myoriel@dslb-084-056-153-189.pools.arcor-ip.net) [09:41:14] *** Joins: jmvanel (~jmvanel@213.0.88.79.rev.sfr.net) [10:13:07] *** Quits: myoriel (~Myoriel@dslb-084-056-153-189.pools.arcor-ip.net) (Ping timeout: 245 seconds) [12:21:24] *** Quits: jmvanel (~jmvanel@213.0.88.79.rev.sfr.net) (Ping timeout: 264 seconds) [13:00:33] *** Joins: myoriel (~Myoriel@dslb-084-056-153-189.pools.arcor-ip.net) [14:43:33] New look at http://grammaticalframework.org [16:39:52] *** Quits: myoriel (~Myoriel@dslb-084-056-153-189.pools.arcor-ip.net) (Ping timeout: 248 seconds) [16:46:30] *** Joins: jmvanel (~jmvanel@213.0.88.79.rev.sfr.net) [17:46:38] *** Quits: jmvanel (~jmvanel@213.0.88.79.rev.sfr.net) (Quit: Quitte) [20:22:00] *** Joins: myoriel (~Myoriel@dslb-084-056-153-189.pools.arcor-ip.net)