How can I use fractions in Idris?

Created Jul 23, 2017 Edited Jul 23, 2017

Viewed 214

When I attempt to divide one integer by another, I get the following message:

Idris> 6 / 8
Can't find implementation for Fractional Integer

What exactly does this mean? How can I use rational numbers in Idris?

idris fractions