About Cacher
Web App
Download
Sign In
Sign Up
menu
Cacher is the code snippet organizer for pro developers
We empower you and your team to get more done, faster
Learn More
nick34992
6/22/2017 - 1:42 PM
share
Share
add_circle_outline
Save
Idris: Double: Int, +
Idris: Double: Int, +
Double.idr
content_copy
file_download
double : Int -> Int double x = x + x
clear