Discussions

• 1 You must be logged in to vote

  💡

  Using nix flakes for managing dependency

  wavewave started May 2, 2022 in Ideas

  

  

  3
• 1 You must be logged in to vote

  💡

  Support Linear Types

  wavewave started May 12, 2022 in Ideas

  

  

  0
• 1 You must be logged in to vote

  💬

  dev project board is created.

  wavewave started May 2, 2022 in General

  

  

  1
• 1 You must be logged in to vote

  📣

  Welcome to categorifier Discussions!

  wavewave announced Apr 5, 2022 in Announcements

  

  

  0