@@ -31,6 +31,7 @@ Text fields come later.
3131
3232import Signal (Signal)
3333import Graphics.Element (Element)
34+import Native.Graphics.Input
3435
3536data SignalID a = SignalID
3637
@@ -72,7 +73,7 @@ customButton : SignalID a -> a -> Element -> Element -> Element -> Element
7273customButton = Native.Graphics.Input.customButton
7374
7475checkbox : SignalID a -> (Bool -> a) -> Bool -> Element
75−checkbox = Native.Graphics.Input.checkboxes
76+checkbox = Native.Graphics.Input.checkbox
7677
7778{-| Create a drop-down menu. The following drop-down lets you choose your
7879favorite British sport: