Commit 43c59209 authored by Jan Rasmus Tikovsky 's avatar Jan Rasmus Tikovsky
Browse files

Added library for new equational constraint (:=:)

parent 70eae657
module EQConstraints where
infix 4 :=:
(:=:) :: a -> a -> Success
(:=:) external
-- (:/=:) :: a -> a -> Success
-- (:/=:) external
import Debug.Trace as DT
external_d_OP_colon_eq_colon :: Unifiable a => a -> a -> Cover -> ConstStore -> C_Success
external_d_OP_colon_eq_colon = (=:=#)
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment