Skip to content

Instantly share code, notes, and snippets.

@deque-blog

deque-blog/int_double_cast.idr

Created Jun 13, 2017
Star
Embed
What would you like to do?
Learn more about clone URLs
Download ZIP
Raw
int_double_cast.idr
the Int (cast 1.1)
=> 1.0 : Int
@ivanov

This comment has been minimized.

Sign in to view
Copy link

@ivanov ivanov commented Jul 30, 2017

Line 2 should read 1 : Int (not 1.0 : Int)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment