types/types.mli · 696a55c3c2da6710f87070c70489372fc4bd2e31 · cduce / cduce · GitLab

Find file Blame History Permalink

[r2006-04-27 14:27:53 by afrisch] Fix memoization of witnesses. Better typing of records · 696a55c3
Pietro Abate authored Oct 05, 2007
```
Original author: afrisch
Date: 2006-04-27 14:27:54+00:00
```
696a55c3