BasicOperations.lidr 4.32 KB