guarded-rec.agda
nats2 and is this really guarded?
guarded-rec.agda
guarded-rec-data.agda
-
Changes in guarded-rec.agda, guarded-rec-clocks.agda...
guarded-rec-model.agda
mv agda/X -> X
Add a warning about guarded-rec-data.agda
Move use the guarded-recursion namespace
clocks: fix
Fix the module names
.gitignore: ignore Agda and redo generated files
model: Depend only on the stdlib
model: change ⁱ to ᶜ
Add a module to tie all the modules
Introduce and use a common prelude file