Archives of the Caml mailing list > Message from Jacques Carette

Browse thread

Equality of functional values

Simon Frost
- Tom
  - Brian Hurt
- Gerd Stolpmann
  - Christophe Raffalli
  - David MENTRE
- Andrej Bauer
  - skaller
    - Brian Hurt
    - Jeff Polakow
      - Jacques Carette
        
        Chris King
        
        Tom
        
        Gerd Stolpmann
        
        Fernando Alegre
        
        Christophe TROESTLER
        
        Tom
        
        Christophe TROESTLER
        
        Fernando Alegre
        
        skaller
    - Andrej Bauer
      - Jacques Carette
        
        Stefan Monnier
        
        Jacques Carette
      - skaller

Date:	-- (:)
From:	Jacques Carette <carette@m...>
Subject:	Re: [Caml-list] Equality of functional values

Serious suggestion:  I personally would be quite happy with extensional 
equality on ground values and intensional equality on function values.

Jacques