CakeML/cakeml

Implement `get_opt` in the basis library

Open

#248 opened on Mar 13, 2017

View on GitHub
 (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