Skip to content

Instantly share code, notes, and snippets.

Tim Steenvoorden timjs

  • Radboud University
  • Nijmegen, Netherlands
Block or report user

Report or block timjs

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse
View GitHub Profile
timjs / HelloWorld.icl
Created Jan 20, 2017
Compiled version of HelloWorld.idr to Clean
View HelloWorld.icl
module HelloWorld
import StdEnv
import StdPointer
:: Value = Nothing
| Boxed_Bool !Bool
| Boxed_Char !Char
| Boxed_Int !Int
| Boxed_Real !Real
You can’t perform that action at this time.