Skip to content

Close 1314 by renaming type in examples - #1319

Open
tferariu wants to merge 2 commits into
masterfrom
1314-renaming-examples
Open

Close 1314 by renaming type in examples#1319
tferariu wants to merge 2 commits into
masterfrom
1314-renaming-examples

Renamed Example types #1314 and reverted formal-ledger.agda-lib

e5e1458
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar