I have a question about javelin

(defc a true) (defc= b (not a))

but I want b to get evaluated after 1 second

(just for animation purpose)

what's the best way to do that?

@myguidingstar: that'd something you'd need to do outside of javelin - I would make b an input cell. Then add a watch to a. Inside the watch handler, setTimeout code that resets b to (not v) where v is the value of a passed to the watch

@alandipert: thanks, I came up with that, too. It turns out that those animations require a quite complex delay strategy, not just a delay constant 🙂