search

frex-project / idris-frex

Other
46 stars 9 forks source link

Cut out depCong and depCong2 from the codebase moving it to stdlib/prelude #65

Closed Russoul closed 2 years ago

Russoul commented 2 years ago

Both seem to be unused in the frex codebase so this doesn't technically dependent on idris-lang/pull/2456