Christian Zimmermann
|
90816bc471
|
now fixed
|
2018-12-25 18:57:51 +01:00 |
|
Christian Zimmermann
|
22b93b0612
|
prelim fix... (CAUTION)
|
2018-12-25 17:48:52 +01:00 |
|
Christian Zimmermann
|
1f88bd2c58
|
fix cathastrophic bug (although it did not affect anything so far)
|
2018-12-24 18:55:11 +01:00 |
|
Christian Zimmermann
|
ca2e47b986
|
some utilities + corrections in 'call by lambda' operation
|
2018-11-29 19:37:32 +01:00 |
|
Christian Zimmermann
|
e5792bcf7b
|
fix dynamic ifor issue (at least it compiles...)
|
2018-10-30 19:39:45 +01:00 |
|