Skip to content

Instantly share code, notes, and snippets.

@vijaykiran

vijaykiran/gist:cb0751bee81c4c8a05ad

Created November 3, 2015 14:35
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save vijaykiran/cb0751bee81c4c8a05ad to your computer and use it in GitHub Desktop.
Save vijaykiran/cb0751bee81c4c8a05ad to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.txt
decimal ₹ ls
decimal.fr
decimal ₹ fregel
Picked up JAVA_TOOL_OPTIONS: -Dfile.encoding=UTF8
Welcome to Frege 3.23.370-g898bc8c (Oracle Corporation Java HotSpot(TM) 64-Bit Server VM, 1.8.0_60)
frege> :l decimal.fr
Module Decimal
frege> main []
5
()
frege> decimal ₹ cat decimal.fr
module Decimal where
data Decimal = native java.math.BigDecimal where
pure native add :: Decimal -> Decimal -> Decimal
main _ = println (Decimal.max 3 5) decimal ₹
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment