Retourner au contenu associé (journal : Votre langage idéal ?)
Posté par Perthmâd le 29 janvier 2012 à 19:02. En réponse au journal Votre langage idéal ?. Évalué à 0.
Toi, tu connais pas les gens qui passent leur temps à essayer d'intégrer les effets au lambda-calcul à coups de types ésotériques... (Et qui en profitent pour réaliser l'axiome du choix dépendant avec.)
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
[^] # Re: Hum ...
Posté par Perthmâd . En réponse au journal Votre langage idéal ?. Évalué à 0.
Toi, tu connais pas les gens qui passent leur temps à essayer d'intégrer les effets au lambda-calcul à coups de types ésotériques... (Et qui en profitent pour réaliser l'axiome du choix dépendant avec.)