Commit Graph

3592 Commits

Author SHA1 Message Date
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
bringert 526cace07a Added binary numeral grammars. 2005-12-01 13:11:01 +00:00
bringert 64166927a3 Transfer: removed some fixed TODOs. 2005-12-01 11:32:09 +00:00
bringert d0cf8461fc Transfer: moved stuff around in prelude. Added some new simple instances. 2005-12-01 11:30:15 +00:00
bringert 50b25c759b Transfer: Added Add instance for lists. 2005-12-01 11:18:05 +00:00
aarne 494895e977 graph size 2005-12-01 11:07:33 +00:00
aarne 43eb03f41e extending the resource howto document 2005-12-01 09:55:55 +00:00
bringert f91a36aaff Fixed layout stop word bug. 2005-11-30 21:30:36 +00:00
bringert cd5e1c5ec7 Transfer: added example which makes the layout resolver go wrong. Added binary conversion from numerals. 2005-11-30 21:02:44 +00:00
bringert e762f85933 Added bind operators, do-notation, a cons operator and list sytnax. 2005-11-30 20:27:01 +00:00
bringert 87b5b826ce Added monad isntances for List and Maybe. 2005-11-30 18:57:23 +00:00