search

IreneKnapp / modern-data

A self-describing binary data format for dependently-typed object graphs.
MIT License
13 stars 0 forks source link

type_family removal #8

Open IreneKnapp opened 9 years ago

IreneKnapp commented 9 years ago

If hash-based "names" are being taken out as per #4, then type_family makes no sense because it doesn't return anything and no longer has the side-effect of introducing anything into scope. So, remove it entirely.