Skip to content

Update Instances.lean

3c4619a
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

chore: add ReaderT.mk and StateT.mk #11470

Update Instances.lean
3c4619a
Select commit
Loading
Failed to load commit list.