Skip to content

Merge branch 'master' into refactor-decidable-Fin

1470a95
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Closed

[ refactor ] (more) decidable Data.Fin.Properties #2744

Merge branch 'master' into refactor-decidable-Fin
1470a95
Select commit
Loading
Failed to load commit list.