Boyd Stephen Smith Jr.Worked through the first round of issues for #idris type-aligned, but I came up with a couple more today: https://gitlab.com/bss03/type-aligned/-/issues
As usual, any feedback is appreciated.
Worked through the first round of issues for #idris type-aligned, but I came up with a couple more today: https://gitlab.com/bss03/type-aligned/-/issues
As usual, any feedback is appreciated.
