2 commits

Author	SHA1	Message	Date
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