3 ms·

Haskell[0]? Idris2[1]? [0] https://gitlab.haskell.org/ghc/ghc/-/merge_requests/4532#note_336891 https://gitlab.haskell.org/ghc/ghc/-/merge_requests/4532#not...

by rq1 4y ago

Haskell[0]? Idris2[1]? [0] https://gitlab.haskell.org/ghc/ghc/-/merge_requests/4532#note_336891 https://gitlab.haskell.org/ghc/ghc/-/merge_requests/4532#not... [1] https://idris2.readthedocs.io/en/latest/reference/records.html https://idris2.readthedocs.io/en/latest/reference/records.ht...