CakeML/cakeml

Implement `get_opt` in the basis library

Open

#248 opened on Mar 13, 2017

 (11 comments) (0 reactions) (0 assignees)Standard ML (98 forks)auto 404
enhancementgood first issuehelp wanted

Repository metrics

Stars
 (1,169 stars)
PR merge metrics
 (PR metrics pending)

Description

Maybe in the commandline module?

Contributor guide