Skip to content

Commit

Permalink
merged
Browse files Browse the repository at this point in the history
  • Loading branch information
@JobPetrovcic
JobPetrovcic committed Apr 12, 2024
1 parent 48ebddd commit c4dc654
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion cubical
Submodule cubical updated 5 files
+4 −0 Cubical/Data/Fin/Recursive/Base.agda
+4 −0 Cubical/Data/Fin/Recursive/Properties.agda
+9 −9 Everythings.hs
+1 −0 cabal.project
+1 −1 cubical-utils.cabal

0 comments on commit c4dc654

Please sign in to comment.