CakeML/cakeml

Add instructions for efficient Div and Mul by (powers of) 2

Aperta

#246 aperta il 13 mar 2017

 (6 commenti) (0 reazioni) (1 assegnatario)Standard ML (98 fork)auto 404
good first issueperformance

Metriche repository

Star
 (1169 stelle)
Metriche merge PR
 (Metriche PR in attesa)

Descrizione

In data_to_word (i.e., the closLang ops).

Guida contributor