MonadicProperties.lidr 5.74 KB