git.iko.soy/rel8
on b0e47ec help sign in
rel8/src/Rel8/Generic/Table
2 files
../ ADT.hsAllow the derivation of Rel8able on vanilla HKDs (#111) Record.hsAllow the derivation of Rel8able on vanilla HKDs (#111)