idris icon indicating copy to clipboard operation
idris copied to clipboard

Published 20 hours ago • verified publisher icon exercism

exercises/practice/grains/src/Grains.idr

Open isberg opened this issue 6 months ago • 0 comments 

export
totalGrains : Integer
total = ?total_rhs

total should be totalGrains

isberg avatar Jul 28 '24 09:07 isberg