Search results

Merge with jmchapman/categories

Status: Open.

#2 In jmchapman/Relative-Monads;

· langston-barrett opened on May 3, 2019

Removal of Data.Nat.Properties.Simple in v1.0 of the standard library

Status: Open.

#1 In jmchapman/Relative-Monads;

· MatthewDaggitt opened on Jan 13, 2019