shithub: MicroHs

Download patch

ref: ade16a045f72fb76cc8135fa5312e5b5da3e6649
parent: 198328642e47b87793c3ef30345fe5037ddd3901
author: Lennart Augustsson <augustss@Lennarts-Mini.augustsson.net>
date: Sun Nov 17 18:38:45 EST 2024

Pretend we can derive Generic and Lift