git.iko.soy/rel8
on 8de0eec 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)