Skip to content
GitLab
Explore
Sign in
cduce
cduce
Repository
cduce
types
types.mli
Find file
Blame
History
Permalink
Fix apply rule in typer
· 18ae0d03
Pietro Abate
authored
Jun 18, 2014
- refactoring in types.ml - add Types.squareapply - other fixes
18ae0d03