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