Gabriel Laskar GabrielL
GabrielL
/ gist:119208
Created
May 28, 2009 10:07
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| /** | |
| * Determine le type de base d'un pointeur | |
| * @{ | |
| */ | |
| template <typename T> | |
| struct BaseType | |
| { | |
| typedef T base_type; | |
| }; |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| length :: [a] -> Int | |
| length [] = 0 | |
| length (h:t) = 1 + length t | |
| Prouver que la propriété P : | |
| length [ l1 ++ l2 ] = length l1 + length l2 | |
| ---------------- | |
| Montrons P([], []) |
NewerOlder