Skip to content
GitLab
Explore
Sign in
Due to inactivity, this project is scheduled to be deleted on 2035-04-24.
Why is this scheduled?
Marc Coiffier
BHR
Repository
BHR
capricon
src
Data
CaPriCon.hs
Find file
Blame
History
Permalink
Make the notion of "term in context" more explicit in CaPriCon
· 31fb5a94
Marc Coiffier
authored
Apr 30, 2019
31fb5a94