Commit Graph

7202 Commits

Author SHA1 Message Date
aarne 36c899e975 more Scandinavian 2005-12-07 18:59:35 +00:00
bringert f8b9bced8b Transfer reference: first proof reading fixes. 2005-12-07 12:24:30 +00:00
bringert 79a9b19341 Transfer reference: operators, overloading 2005-12-07 11:53:29 +00:00
bringert 30e8bc6cc0 Transfer: derive Eq Bool 2005-12-07 10:11:41 +00:00
bringert 5c06d7279c Transfer reference: added list patterns, do notation. 2005-12-07 10:03:18 +00:00
aarne 0dfd8c1517 progress with scandinavian 2005-12-07 11:32:04 +00:00
bringert 141fa43eb8 Transfer reference: added metavariable section and implementation status section. 2005-12-07 09:46:21 +00:00
bringert 8957bae1ba Transfer tutorial: conjunction, not conjugation. 2005-12-06 22:51:00 +00:00
aarne a4d3f7e7c7 started Swedish 2005-12-06 22:19:43 +00:00
bringert 900a8f1142 Transfer: Changed transfer program file extension from .tr to .tra to avoid collision with Troff file extension. 2005-12-06 16:33:40 +00:00
bringert 099e5068d7 Simple transfer tutorial touch-up. 2005-12-06 16:26:55 +00:00
bringert 95854ea11b Moved transfer documentation to doc/. Added sections and text to transfer tutorial and reference. Added script for generating html from txt2tags files. 2005-12-06 16:23:29 +00:00
bringert 8b379e4421 Transfer: Fixed BNFC's layout resolver to not insert semicolon at end of line if there is one already. 2005-12-06 16:19:29 +00:00
bringert 817ee33c2e Transfer: fixed syntax error in prelude definition of partition. 2005-12-06 15:59:43 +00:00
bringert ed23b9d8d8 Transfer: Changed BNFC's layout syntax resolver to add a semicolon at EOF if using top-level layout sytax. Changed transfer syntax to use this to force semicolon after imports when pretty printing transfer. transfer grammar printer now produces Transfer syntax, not core. It also imports prelude and includes Eq and Compos instances. 2005-12-06 15:57:43 +00:00
bringert cd9150855d Transfer: moved pair stuff to prelude. Added partition function. 2005-12-06 12:39:11 +00:00
aarne c6a10d351f started ExtEng 2005-12-06 15:21:38 +00:00
aarne fc23bec700 completed multimodal API 2005-12-06 14:50:53 +00:00
aarne fc0ec0c0cd opers in cnc 2005-12-06 12:39:36 +00:00
bringert 6cda8779c4 After suggestion from Jordi: note that darcs pull should be done inside the local repository. 2005-12-06 12:23:54 +00:00
aarne 09659e86eb bug fix in Shell commands at, wt 2005-12-06 11:46:35 +00:00
aarne 7a7252223f multimodal resource recreated for new API 2005-12-05 18:31:15 +00:00
bringert 936e402373 Added beginnings of a transfer language reference. 2005-12-05 18:01:59 +00:00
bringert 2b8e3311f4 Removed variable for the type argument of List. 2005-12-05 17:35:32 +00:00
bringert 48cfd7d66f Renamed transfer compiler and interpreter. 2005-12-05 16:53:27 +00:00
bringert 98b8d8d081 Changed test.tr to run a fibNat test. 2005-12-05 16:52:56 +00:00
bringert 224d2451d7 Added aggregation example. 2005-12-05 16:45:11 +00:00
bringert ccb780361f Added tuple expressions and patterns. 2005-12-05 16:44:56 +00:00
aarne 18986bfdd4 tidy up res; bug fix in ShellState.addTransfer 2005-12-05 16:14:12 +00:00
bringert 3442d42d3b Transfer: fixed Eq derivation to at least work for GF-generated Tree types. 2005-12-05 14:14:19 +00:00
aarne 7fc991cd18 alternative list syntaxes 2005-12-04 20:56:33 +00:00
bringert ece605f887 Transfer added guards and Eq derivation. 2005-12-02 18:33:08 +00:00
aarne 53a2f8383c coordination to built-in lists 2005-12-02 16:56:44 +00:00
aarne e9ce24ad17 IrregEng 2005-12-02 13:59:28 +00:00
aarne eb361d8941 verb subcat patterns 2005-12-02 13:58:36 +00:00
aarne ef504a4cbe floats in GF and GFC (parsing user input still doesn't work) 2005-12-02 13:13:14 +00:00
bringert e1504e6ba0 Added some differences between Cayenne and Transfer to transfer README 2005-12-02 13:05:02 +00:00
bringert f59a16876a Make words in SLF language models upper case. 2005-12-02 12:55:24 +00:00
bringert fe01b165f7 Transfer: removed list syntax from TODO. 2005-12-01 17:28:50 +00:00
bringert a7af7bc384 Added list patterns. Added som simple prelude functions. 2005-12-01 17:27:06 +00:00
aarne e1d8b9c535 EInteger 2005-12-02 08:46:30 +00:00
aarne c8d1578e56 resource README 2005-12-01 21:45:46 +00:00
aarne 3400486b5e rearranging resource-1.0 2005-12-01 21:18:42 +00:00
aarne c3756fddd1 document update 2005-12-01 20:38:22 +00:00
aarne 98af807b99 updating documentation 2005-12-01 20:31:25 +00:00
aarne 141da5a544 history link 2005-12-01 18:01:22 +00:00
aarne 8c918d9516 making apply_transfer work 2005-12-01 17:58:31 +00:00
bringert df1e92e837 Transfer: Added Double type. 2005-12-01 16:55:57 +00:00
bringert f66e6e301c Transfer: remove disjunctive patterns from TODO. 2005-12-01 16:19:43 +00:00
bringert 12d4bc020d Transfer: added support for disjunctive patterns. 2005-12-01 15:37:47 +00:00