MIT AND BSD-3-Clause — independent software & tools

1 independent MIT AND BSD-3-Clause listing the big search engines bury.

• agda

  homebrew · Free

  Dependently typed functional programming language