ooAgda icon indicating copy to clipboard operation
ooAgda copied to clipboard

verified publisher icon agda
→

Metadata

Interactive and object-oriented programming in Agda using coinductive types

Results 1 ooAgda issues
Sort by recently updated
recently updated
newest added

Update to agda-2.8.0, but there are broken files

This repo didn't build anymore. Anton @csetzer you made some effort 4 years ago to keep this code alive. So I tried to make it work with latest Agda. We...

andreasabel avatar andreasabel

← Metadata

20
Stars
2
Forks
Watchers

Owner

verified publisher icon agda

Metadata

Interactive and object-oriented programming in Agda using coinductive types

Back