Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

Remove 'bind_type'.

  • Loading branch information...
commit 1cdb346b5e992a99851104600718c35dec21d57a 1 parent c98642f
@mboes authored
Showing with 0 additions and 4 deletions.
  1. +0 −4 Dedukti/Core.hs
View
4 Dedukti/Core.hs
@@ -93,10 +93,6 @@ type instance A (TyRule id a) = a
type instance A (RuleSet id a) = a
type instance A (Expr id a) = a
-bind_type :: Binding id a -> Expr id a
-bind_type (_ ::: ty) = ty
-bind_type _ = error "Binding has no type."
-
bind_name :: Binding id a -> id
bind_name (L x) = x
bind_name (x ::: _) = x
Please sign in to comment.
Something went wrong with that request. Please try again.