Skip to content
GitLab
Explore
Sign in
Raphaël Cauderlier
dklib
Repository
dklib
dk_monads.dk
Find file
Blame
History
Permalink
Rewrite rules on external symbols now work! (Thank you Ronan!).
· 1ec3632f
Raphaël Cauderlier
authored
Aug 20, 2015
Move rules on cc.eT to better locations so that cc.dk only talk about dependent product and arrow.
1ec3632f