 bringert
|
63f19f992d
|
Transfer reference: first proof reading fixes.
|
2005-12-07 12:24:30 +00:00 |
|
|
bringert
|
84d60f7602
|
Transfer reference: operators, overloading
|
2005-12-07 11:53:29 +00:00 |
|
|
bringert
|
56a00d37dd
|
Transfer: derive Eq Bool
|
2005-12-07 10:11:41 +00:00 |
|
|
bringert
|
09e62111fd
|
Transfer reference: added list patterns, do notation.
|
2005-12-07 10:03:18 +00:00 |
|
|
bringert
|
06c3d3e004
|
Transfer reference: added metavariable section and implementation status section.
|
2005-12-07 09:46:21 +00:00 |
|
|
bringert
|
67395b24d9
|
Transfer tutorial: conjunction, not conjugation.
|
2005-12-06 22:51:00 +00:00 |
|
|
bringert
|
c703a92136
|
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
|
ee4adf5ba8
|
Simple transfer tutorial touch-up.
|
2005-12-06 16:26:55 +00:00 |
|
|
bringert
|
41aaed58d4
|
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
|
1094204640
|
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
|
cec34b7924
|
Transfer: fixed syntax error in prelude definition of partition.
|
2005-12-06 15:59:43 +00:00 |
|
|
bringert
|
5be879dd54
|
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
|
54b8d70443
|
Transfer: moved pair stuff to prelude. Added partition function.
|
2005-12-06 12:39:11 +00:00 |
|
|
aarne
|
a6dc944356
|
opers in cnc
|
2005-12-06 12:39:36 +00:00 |
|
|
bringert
|
54671579f5
|
After suggestion from Jordi: note that darcs pull should be done inside the local repository.
|
2005-12-06 12:23:54 +00:00 |
|
|
aarne
|
66caf2aa65
|
bug fix in Shell commands at, wt
|
2005-12-06 11:46:35 +00:00 |
|
|
aarne
|
9db6f69d0a
|
multimodal resource recreated for new API
|
2005-12-05 18:31:15 +00:00 |
|
|
bringert
|
6c9b2bf6df
|
Added beginnings of a transfer language reference.
|
2005-12-05 18:01:59 +00:00 |
|
|
bringert
|
71349c1c5b
|
Removed variable for the type argument of List.
|
2005-12-05 17:35:32 +00:00 |
|
|
bringert
|
f4a28c94aa
|
Renamed transfer compiler and interpreter.
|
2005-12-05 16:53:27 +00:00 |
|
|
bringert
|
56e9e45171
|
Changed test.tr to run a fibNat test.
|
2005-12-05 16:52:56 +00:00 |
|
|
bringert
|
7c24fcb38f
|
Added aggregation example.
|
2005-12-05 16:45:11 +00:00 |
|
|
bringert
|
747271941a
|
Added tuple expressions and patterns.
|
2005-12-05 16:44:56 +00:00 |
|
|
aarne
|
066d5bb0a9
|
tidy up res; bug fix in ShellState.addTransfer
|
2005-12-05 16:14:12 +00:00 |
|
|
bringert
|
ddc8d5d0cc
|
Transfer: fixed Eq derivation to at least work for GF-generated Tree types.
|
2005-12-05 14:14:19 +00:00 |
|
|
bringert
|
983aef132b
|
Transfer added guards and Eq derivation.
|
2005-12-02 18:33:08 +00:00 |
|
|
aarne
|
dea5158cbf
|
floats in GF and GFC (parsing user input still doesn't work)
|
2005-12-02 13:13:14 +00:00 |
|
|
bringert
|
50ddb387f4
|
Added some differences between Cayenne and Transfer to transfer README
|
2005-12-02 13:05:02 +00:00 |
|
|
bringert
|
6cba6eb004
|
Make words in SLF language models upper case.
|
2005-12-02 12:55:24 +00:00 |
|
|
bringert
|
6b536cf07a
|
Transfer: removed list syntax from TODO.
|
2005-12-01 17:28:50 +00:00 |
|
|
bringert
|
396cc63cfc
|
Added list patterns. Added som simple prelude functions.
|
2005-12-01 17:27:06 +00:00 |
|
|
aarne
|
8de44f741e
|
EInteger
|
2005-12-02 08:46:30 +00:00 |
|
|
aarne
|
b1f6099025
|
rearranging resource-1.0
|
2005-12-01 21:18:42 +00:00 |
|
|
aarne
|
d3e74d9aa9
|
document update
|
2005-12-01 20:38:22 +00:00 |
|
|
aarne
|
9fcef260a1
|
updating documentation
|
2005-12-01 20:31:25 +00:00 |
|
|
aarne
|
13855da238
|
history link
|
2005-12-01 18:01:22 +00:00 |
|
|
aarne
|
da22eac180
|
making apply_transfer work
|
2005-12-01 17:58:31 +00:00 |
|
|
bringert
|
56f62f31d8
|
Transfer: Added Double type.
|
2005-12-01 16:55:57 +00:00 |
|
|
bringert
|
d15acf44b6
|
Transfer: remove disjunctive patterns from TODO.
|
2005-12-01 16:19:43 +00:00 |
|
|
bringert
|
635845eed8
|
Transfer: added support for disjunctive patterns.
|
2005-12-01 15:37:47 +00:00 |
|
|
bringert
|
30bb51372f
|
Added binary numeral grammars.
|
2005-12-01 13:11:01 +00:00 |
|
|
bringert
|
bb82938d72
|
Transfer: removed some fixed TODOs.
|
2005-12-01 11:32:09 +00:00 |
|
|
bringert
|
4a40cf9861
|
Transfer: moved stuff around in prelude. Added some new simple instances.
|
2005-12-01 11:30:15 +00:00 |
|
|
bringert
|
01028ce52d
|
Transfer: Added Add instance for lists.
|
2005-12-01 11:18:05 +00:00 |
|
|
bringert
|
938318d72b
|
Fixed layout stop word bug.
|
2005-11-30 21:30:36 +00:00 |
|
|
bringert
|
71fb2c16cd
|
Transfer: added example which makes the layout resolver go wrong. Added binary conversion from numerals.
|
2005-11-30 21:02:44 +00:00 |
|
|
bringert
|
7dfa184285
|
Added bind operators, do-notation, a cons operator and list sytnax.
|
2005-11-30 20:27:01 +00:00 |
|
|
bringert
|
d92a26fc9b
|
Added monad isntances for List and Maybe.
|
2005-11-30 18:57:23 +00:00 |
|
|
bringert
|
12ca29b32b
|
Transfer: derive instances, not functions.
|
2005-11-30 18:42:45 +00:00 |
|
|
bringert
|
01d1715994
|
Transfer: added monad class. fixed Compos class types.
|
2005-11-30 18:40:29 +00:00 |
|