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
Implement an 'axiom' builtin to allow the CaPriCon logic to be arbitrarily extended
· 71dad95b
Marc Coiffier
authored
Dec 03, 2018
71dad95b