SpiceQA
Questions
Tags
Users
Badges
user_367649
@user_367649
0
reputation
0
answers
1
questions
About Me
// Hello, World !
Top Answers
AssertJ fails to assert BigDecimal equality without scale
22 votes
Idris, convert from a Double to a Nat by dropping the decimal points (floor)
1 votes
Does Idris use tail call optimization?
1 votes
In Scala Functional Programming, is there an idiomatic way to map with a state?
1 votes
Top Questions
Expression eager in Frege but lazy in Haskell?
6 votes
5 answers