"Пропала планета" (C) Spaceballs

[thesz]

http://ect.bell-labs.com/who/ajeffrey/agda-frp-js/clock.html

Программка на Агде, показывает какое-то текущее время с помощью HTML5.

Исходнички.

Пришло по списку рассылки Агды, пока самого письма в Интернете нет.

Comments

[thedeemon]

clock : ⟦ Beh DOM ⟧
clock = element "p" (text (map toUTCString (every (1 sec))))

main : Main
main = reactimate clock

Подразумевалось, что часы будут идти и время меняться каждую секунду? Дык, не работает. Статично все.

[kurilka]

у меня работает

[kurilka]

небось JS отрубил? :)

[thedeemon]

нет, js включен, все остальные сайты пашут нормально.

[thedeemon]

Firefox 3.6.3

[kurilka]

Забавно и правда не кроссбраузерно

[thesz]

"I did enough mucking around with back end gore to finally get an Agda program running in the browser (as long as your browser supports the HTML5 timer model, i.e. is not I.E.)."

Does Firefox 3.6.3 support HTML5 timer model?

[thedeemon]

Видимо, еще нет.