Search results

Replace <code>QCheck</code> unit tests with <code>Quickcheck</code>

v-nextIssues to be resolved by the next major version of DromedaryIssues to be resolved by the next major version of Dromedary

Status: Open.

#42 In johnyob/dromedary;

· johnyob opened on Jul 4, 2022

Replace <code>Alcotest</code> unit tests with Jane Street's Inline Tests

v-nextIssues to be resolved by the next major version of DromedaryIssues to be resolved by the next major version of Dromedary

Status: Open.

#41 In johnyob/dromedary;

· johnyob opened on Jul 4, 2022

[Roadmap] Error Reporting

roadmapMeta-issues for roadmap of DromedaryMeta-issues for roadmap of Dromedary

v-nextIssues to be resolved by the next major version of DromedaryIssues to be resolved by the next major version of Dromedary

Status: Open.

#39 In johnyob/dromedary;

· johnyob opened on Jul 4, 2022

[Roadmap] Documentation

roadmapMeta-issues for roadmap of DromedaryMeta-issues for roadmap of Dromedary

v-nextIssues to be resolved by the next major version of DromedaryIssues to be resolved by the next major version of Dromedary

Status: Open.

#38 In johnyob/dromedary;

· johnyob opened on Jul 4, 2022

Odoc Integration

v-nextIssues to be resolved by the next major version of DromedaryIssues to be resolved by the next major version of Dromedary

Status: Open.

#37 In johnyob/dromedary;

· johnyob opened on Jul 4, 2022

[Roadmap] Language Features

roadmapMeta-issues for roadmap of DromedaryMeta-issues for roadmap of Dromedary

v-nextIssues to be resolved by the next major version of DromedaryIssues to be resolved by the next major version of Dromedary

Status: Open.

#36 In johnyob/dromedary;

· johnyob opened on Jul 4, 2022

[Roadmap] Constraints Library

roadmapMeta-issues for roadmap of DromedaryMeta-issues for roadmap of Dromedary

v-nextIssues to be resolved by the next major version of DromedaryIssues to be resolved by the next major version of Dromedary

Status: Open.

#35 In johnyob/dromedary;

· johnyob opened on Jul 4, 2022

[Roadmap] Infrastructure

roadmapMeta-issues for roadmap of DromedaryMeta-issues for roadmap of Dromedary

v-nextIssues to be resolved by the next major version of DromedaryIssues to be resolved by the next major version of Dromedary

Status: Open.

#34 In johnyob/dromedary;

· johnyob opened on Jul 4, 2022

Dromedary Roadmap

roadmapMeta-issues for roadmap of DromedaryMeta-issues for roadmap of Dromedary

v-nextIssues to be resolved by the next major version of DromedaryIssues to be resolved by the next major version of Dromedary

Status: Open.

#33 In johnyob/dromedary;

· johnyob opened on Jul 4, 2022

"Bit-rot" in Documentation

v-nextIssues to be resolved by the next major version of DromedaryIssues to be resolved by the next major version of Dromedary

Status: Open.

#29 In johnyob/dromedary;

· johnyob opened on Apr 17, 2022