Clock
Today I'm studying again, it's probably going to take another two weeks. The subject is more difficult than I thought, but interesting. Today I learned how to specify a clock:
| act | tick |
| display: Nat | |
| proc | Clock(n:Nat) = tick·Clock(S(n)) + display(n)·Clock(n) |
| init | Clock(0) |
Nice language :)
»
- Log in to post comments
