Skip to content
GitLab
Explore
Sign in
Iris
c
Repository
c
theories
vcgen
dcexpr.v
Find file
Blame
History
Permalink
Revert "Start work on deep-embedding 'bind'."
· 4f047167
Léon Gondelman
authored
Sep 25, 2018
This reverts commit e06049bcc9ac4a0ea1f8627fd529e953a11aa9c1.
4f047167