Skip to content
This repository was archived by the owner on Nov 12, 2025. It is now read-only.

Module with properties of Bool was moved from contrib to base#4789

Open
buzden wants to merge 1 commit into
idris-lang:masterfrom
buzden:bool-properties-from-contrib-to-base
Open

Module with properties of Bool was moved from contrib to base#4789
buzden wants to merge 1 commit into
idris-lang:masterfrom
buzden:bool-properties-from-contrib-to-base

Commits

Commits on Dec 2, 2019