Skip to content

Commit a3839f0

Browse files
williamdemeowilliamdemeo
committed
prepare to migrate new files in
1 parent 1d245cb commit a3839f0

File tree

2 files changed

+0
-0
lines changed

2 files changed

+0
-0
lines changed

‎src/Ledger/Conway/Specification/PoolReap/Properties/Computational.agda‎ renamed to ‎src/Ledger/Conway/Specification/PoolReap/Properties/Computational.lagda.md‎

File renamed without changes.

‎src/Ledger/Conway/Specification/Rewards/Properties/Computational.agda‎ renamed to ‎src/Ledger/Conway/Specification/Rewards/Properties/Computational.lagda.md‎

File renamed without changes.

0 commit comments

Comments
 (0)