joaomilho/awesome-idris

Issues

• PDFs at St. Andrews unavailable outside of university

  #13 opened 2 years ago by mars0i
  0

• VSCode dev container

  #12 opened 3 years ago by stereobooster
  1

• How about adding a gitter chat?

  #4 opened 6 years ago by doofin
  1

• Article: Tests vs Types

  #1 opened 7 years ago by xaviervia
  2