CakeML/cakeml

Implement `get_opt` in the basis library

オープン

#248 opened on 2017/03/13

 (11 件のコメント) (0 件のリアクション) (0 人の担当者)Standard ML (98 件のフォーク)auto 404
enhancementgood first issuehelp wanted

Repository metrics

Stars
 (1,169 個のスター)
PR merge metrics
 (PR metrics pending)

説明

Maybe in the commandline module?

コントリビューターガイド