type_eval 0.0.1-alpha

Type level evaluation and proof-carrying
Documentation