Commit abc4fae

committed

Moved AGDA termination example

1 parent a8f4d66 commit abc4faeCopy full SHA for abc4fae

1 file changed

+0

-0

lines changed

agda
- termination.hs

1 file changed

+0

-0

lines changed

`‎agda-termination.hs renamed to ‎agda/termination.hs`

File renamed without changes.

Comments

(0)