Skip to content
GitLab
Explore
Sign in
cduce
cduce
Repository
cduce
types
types.mli
Find file
Blame
History
Permalink
Rename the Bool* modules into Var* (which makes way more sense).
· 1db0d21a
Kim Nguyễn
authored
Mar 28, 2015
1db0d21a