Oui c'est un repl elisp avec un éditeur intégré en gros, non evil est bien configuré pour pas avoir de soucis il me semble.
Sponsorisé
Connectez-vous pour masquer les pubs
Merci, je n'y comprend pas grand chose au logiciel mais je vais certainement garder les codes couleurs
Je les utilise aussi pour mes environnements de bureau
La meilleure façon de châtier les hommes est de toujours donner ce qu'ils réclament.
Drôle de bureau, il est rigolo le poisson, sert-il à quelque chose ?
La 
Boucle
Boucle C'est la mascottes de openbsd
La meilleure façon de châtier les hommes est de toujours donner ce qu'ils réclament.
Oui mais heureusement il n'est pas très gourmand (172m suffisent)
La meilleure façon de châtier les hommes est de toujours donner ce qu'ils réclament.
En ocaml aussi parfois
La meilleure façon de châtier les hommes est de toujours donner ce qu'ils réclament.
oui, un langage de programmation permettant de formaliser des arguments mathématiques et de les faire vérifier automatiquement.
Tu peux écrire tes propres définitions ; par exemple ici une syntaxe pour une logique de premier ordre avec des règles d'introduction/évaluation
on peut ensuite démontrer des lemmes ; par exemple ici un cas particulier de cut elimination
Ici j'utilise le langage coq.
Tu peux écrire tes propres définitions ; par exemple ici une syntaxe pour une logique de premier ordre avec des règles d'introduction/évaluation
on peut ensuite démontrer des lemmes ; par exemple ici un cas particulier de cut elimination
Ici j'utilise le langage coq.
bon courage j'y connais rien
Je vous aime tous
Tu ne fais pas exception
Bonne chance, j'ai toujours préféré vim
Sponsorisé
Connectez-vous pour masquer les pubs