agda/agda-web-semantic

Issues

• Usolved Metas

  #4 opened 3 years ago by bblfish
  2

• Agda 2.6.0 compatibility

  #2 opened 6 years ago by ice1000
  5

• Unsolved metas (Agda 2.4.2)

  #1 opened 6 years ago by Fuuzetsu
  3

• Travis CI integration

  #3 opened 6 years ago by ice1000
  0