Post #805189

2026-03-27 01:56 UTC

RE: https://hachyderm.io/@BoydStephenSmithJr/116298200584577447 Anyone out there with some opinions on both @codeberg and @gitlab particularly for developing #Haskell, #Idris, #Lean, or #Agda ? If you can,, please address my concerns in the quoted toot.

Replies (0)

No replies.