agda/agda-frp-js

Issues

• Duplicate binding for built-in thing LEVEL (2.4.2)

  #5 opened 10 years ago by Fuuzetsu
  0

• Calculator demo fails to compile

  #4 opened 11 years ago by wenkokke
  4

• non-behavior DOM

  #2 opened 13 years ago by larrytheliquid
  4

• Clock does not work in Firefox 3.6

  #1 opened 13 years ago by qrilka
  1