laying bases for a new EDC. Work just begun!
WIP new EDC
removing unimplemented warnings
more work on new EDC
EDC: work in progress
before going further I feel I need a few advanced generics constraints such as create generics
generic creation: syntax
preparation
First assign in the compiler. Eat your own dog food.
code cleanup: private means, well, private :-)
bringing the creation constraint to the formal generic type mark
more force external assignments
strange CECIL artifact
generic creation, now working.
todo
fix generic create
removed stupid (and wrong) invariant
fix invariant signature when Current is expanded without struct
new EDC work in progress, now using generic creation :-)
forgot those files