Vincent-Hugot.com

EXPERIMENTAL


https://raw.github.com/vincent-hugot/me ... ownload.sh

CDA4127D1E64D165DEE14FAAAA

After having trouble with Google Code, I have migrated to GitHub:

https://github.com/vincent-hugot/medley



perso install:

Added Scheme support in source code version.
(commit 618a)

Note: I have migrated to GIT, so the above is out-of-date.

Direct URLs to files in the repository generally remain the same, except the superfluous "trunk" has to be removed.

There are now two Math\TeX services running: (see http://www.forkosh.com/mathtex.html for use instructions) FAT service: tex.vhugot.com/cgi-bin/fat.cgi? THIN service: tex.vhugot.com/cgi-bin/thin.cgi? The fat service loads my sk2 package, and thus will render, say, \Sum k1n properly: tex.vhugot.com/$...

r818:

BEWARE: interface change for --tex, --ml, etc.... see --help

NOTE: the manual's examples are not up-to-date yet and do not reflect those changes.

Vincent might be the only crazy enough person here ... to enjoy functional programming. FTFY. I am pretty much the only person here, full stop. :) I found this video http://www.youtube.com/watch?v=faJ8N0giqzw that you might like. I do. Thank you for the pointer. This seems a bit related to function...

r812:

Now with added support for both Prolog and B. Among other things.

For now, Prolog aliases are very tentative, as I don't know what is commonly used in the literature.

Ok, I know.

Those are simply unboxed tuples. Semantically, you can replace them by ordinary tuples; they will act the same. Of course, unboxed is more efficient, but restricted in how you can use it.

Hi,

It's not a stupid question (at least I don't think it is). I have no idea what this is.

Could you provide a link to the exact source file where you found that?

If you had told me in second year, when I was programming a bit with OCaml and A. Giorge..., that I might seek for an OCaml job someday, I would have laugh at your face. It's never a good idea to laugh at my face :P Anyway thank for the help and if you have some abstraction leaks in Haskell to shar...

I don't know if you have already read the article http://www.joelonsoftware.com/articles/ThePerilsofJavaSchools.html, Yes, I have. This is one instance where I mostly agree with what Joel says. Other articles by him which I find interesting are http://www.joelonsoftware.com/articles/fog0000000319.h...

Bonjour,

Il s'agit du package algorithm2e.

http://www.ctan.org/tex-archive/macros/ ... ithm2e.pdf

I have only seen that Haskell type system curry functions to express the type of a function with multiple parameters. (tell me I am not mistaking here) Correct. Every language I know of in the ML family does that -- Standard ML, OCaml, Miranda, Haskell etc... It comes straight from \gl -calculus, w...

Hi there! I've got a question for Vincent : where can I find good tutorials on functional programming ? I am currently trying to learn Erlang programming and it appears to be hard to find good courses (at least good free courses). So I was wondering if there may be some good stuff on the internet ab...

ONLINE VERSION A BIT OUT OF DATE -- contact me if you're interested in using it and I'll update things, time permitting ZapoTeX is a pretty printer, used to integrate nice, syntax-highlighted Caml, Prolog and B source code in LaTeX documents. It supports advanced features such as aliases (and gener...

Heu... perso j'étais là hier matin et je serai là ce matin, donc t'es pas tout seul

Et puis je te fais confiance pour occuper de l'espace pour nous tous

Mathias COQBLIN wrote:Au fait vous commencez quand ? Demain ou en octobre ?

1er octobre officiellement.

Modulo les enseignements qui commencent plus tôt quoi qu'il arrive (sous réserve d'avenant).

La reponse est non, j'avais rien fait ! ................................................. Perso j'ai un SVN pour tous mes programmes/rapports etc. Ca m'apporte un certain degré de tranquillité au cas où mon ordi explose... J'espère que tu n'as rien perdu de précieux dans l'accident. il y a plein de...

Salut; je suis prêt. Rouillé, mais prêt.

shouyanbo wrote:mon Acer a explose

J'espère que tu avais fait des sauvegardes...

Report (master thesis)

edit/note to self: mistake in Th 97.

Sildes

Tu sais comment gérer tout ça ? Pas vraiment; en plus j'ai une bourse d'un type différent de la tienne, avec des formulaires en plus ou en moins ou différents -- on a certainement plein de formulaires en commun mais je suis moi-même un peu perdu dans les miens; donc je ne me sens pas du tout à l'ai...

Grâce à ma super expertise (sisi) en XML, j'ai réussi (mais c'était dur, hein, ça a pris au moins 15 longues secondes) à googler sur les mots-clef "XML character codes" et miracle, je suis tombé là-dessus, ce qui je crois répond à ta question: http://en.wikipedia.org/wiki/List_of_XML_and_HTML_charac...

update: je confirme ce que je disais hier, c'est facile, et il faut passer par le dvi (en tous cas il suffit de passer par le dvi). Exemple de document vide: x.tex \documentclass[10pt]{article} \usepackage[latin1]{inputenc} \usepackage{amsmath} \usepackage{amsfonts} \usepackage{amssymb} \pagestyle{e...

le dessin est toujours incorporé dans une feuille a4. Tu as pensé à supprimer le A4 du documentclass ? Si ça ne marche ET tu utilises pdflatex directement, essaye de passer par DVI->EPS->PDF pour récupérer la bonne bounding box. Si ça ne marche toujours pas, copie ici tout ton document (vide), que ...

I need help (again...). Oh God. \begin{wrapfigure} [2] {R} {3cm} 1] Drop the [2]. What is the use of wrapping just two lines anyway ? 2] I am not sure whether the parameter is case-sensitive, but try with a lower-case "r" instead of an upper-case "R"; odds are the package does not recognize R and f...

It's about coloring titles. Reference : http://theoval.cmp.uea.ac.uk/~nlct/latex/thesis/node9.html Assuming that you are using the "report" class, modus operandi : vincent@seth:~$ locate report.cls ... /usr/share/texmf-texlive/tex/latex/base/report.cls ... vincent@seth:~$ nano /usr/share/texmf-texl...

Hi all... again ! You know, generally there is just me here; I know that "just me" is a hell of a lot, but still, it is not quite "all". ;) What's wrong ? As always with you, I have a lot of guesswork to do just to determine what your problem is, exactly... If your problem is that subsubsections ar...