Skip to content

Instantly share code, notes, and snippets.

View timjs's full-sized avatar

Tim Steenvoorden timjs

  • Open University of the Netherlands
  • Nijmegen, Netherlands
View GitHub Profile
module Main exposing (..)
import Browser
import Html exposing (Html, button, div, h1, input, span, text)
import Html.Attributes exposing (..)
import Html.Events exposing (onClick, onInput)
import Payments
import Random
-- MAIN
@timjs
timjs / HelloWorld.icl
Created January 20, 2017 21:27
Compiled version of HelloWorld.idr to Clean
module HelloWorld
import StdEnv
import StdPointer
:: Value = Nothing
| Boxed_Bool !Bool
| Boxed_Char !Char
| Boxed_Int !Int
| Boxed_Real !Real