Louis Dionne 05593b652c Redefine lift as an equivalence of categories. ...

This allows us to mechanically translate most type traits, which is
a good hint that we've found a way to merge type computation with
value computation. The problematic type traits will be tackled later.

2014-05-24 19:06:41 -04:00

..

comparable.cpp

Split type and traits into two headers.

2014-05-24 12:39:12 -04:00

lift.cpp

Redefine lift as an equivalence of categories.

2014-05-24 19:06:41 -04:00

traits.cpp

Split type and traits into two headers.

2014-05-24 12:39:12 -04:00