@@ -152,8 +152,8 @@ public %assert_total
152really_believe_me : a -> b
152really_believe_me : a -> b
153really_believe_me x = prim__believe_me _ _ x
153really_believe_me x = prim__believe_me _ _ x
155+||| Deprecated alias for `Double`, for the purpose of backwards
155−||| Alias for `Double`. Idris does not support 32 bit floats at
156+||| compatibility. Idris does not support 32 bit floats at present.
157Float : Type
157Float : Type
158Float = Double
158Float = Double
159%deprecate Float
159%deprecate Float