Jasper Van der Jeugt
|
f6c65aadd7
|
Works-for-me implementation of nested rules
|
2011-04-04 20:49:22 +02:00 |
|
Jasper Van der Jeugt
|
b73fc8e831
|
Add some more information on metacompilation
|
2011-02-26 11:07:46 +01:00 |
|
Jasper Van der Jeugt
|
5a591ee24c
|
Rules DSL tracks resources used
|
2011-02-15 18:32:55 +01:00 |
|
Jasper Van der Jeugt
|
34257df262
|
Resource = Identifier with an exists invariant
|
2011-02-11 23:26:54 +01:00 |
|
Jasper Van der Jeugt
|
2b9858a8f9
|
Add Resource type for improved type-safety
|
2011-02-11 17:52:19 +01:00 |
|
Jasper Van der Jeugt
|
dd81433d74
|
Split Rules module, add documentation
|
2011-02-11 13:30:55 +01:00 |
|
Jasper Van der Jeugt
|
4e0abd872a
|
Update cabal file, fix warnings
|
2011-02-11 08:39:10 +01:00 |
|
Jasper Van der Jeugt
|
c093761e89
|
Route → Routes
|
2011-02-03 16:07:49 +01:00 |
|
Jasper Van der Jeugt
|
c691251fc7
|
Autogenerate metacompiler indentifiers
|
2011-01-30 10:44:42 +01:00 |
|
Jasper Van der Jeugt
|
e536a5961c
|
Functor & Applicative instances for Compiler
|
2011-01-25 11:14:22 +01:00 |
|
Jasper Van der Jeugt
|
6e7dc0e58f
|
Micro-cleanup
|
2011-01-14 08:50:34 +01:00 |
|
Jasper Van der Jeugt
|
d0939102bf
|
Metacompilers now work, todo: cleanup
|
2011-01-07 19:17:14 +01:00 |
|
Jasper Van der Jeugt
|
1bf95c0028
|
Rank N compilers (compiler in compilers in...)
|
2011-01-07 14:40:33 +01:00 |
|
Jasper Van der Jeugt
|
f1e726be69
|
Renaming for consistency
|
2011-01-07 14:34:31 +01:00 |
|
Jasper Van der Jeugt
|
11d7031da3
|
Add compilers producing compilers
|
2011-01-07 12:12:13 +01:00 |
|
Jasper Van der Jeugt
|
6268e4a4fe
|
Experimental arrow-based approach
|
2010-12-29 22:59:38 +01:00 |
|
Jasper Van der Jeugt
|
27ff2eef89
|
Use Typeable instead of ADT
|
2010-12-28 11:12:45 +01:00 |
|
Jasper Van der Jeugt
|
6b6a78ea41
|
Add rules module
|
2010-12-25 19:37:21 +01:00 |
|