idris-lang / Idris2

A purely functional programming language with first class types

https://idris-lang.org/

Other

2.53k stars 380 forks source link

Closed m-rinaldi closed 5 months ago

m-rinaldi commented 5 months ago

Description

Entering the expression 2.1 * 20 in the REPL produces the following error on Idris 2:

Error: Can't find an implementation for FromDouble Integer.