index
:
soap.coffee/lthms.git
main
Personal website of lthms
Thomas Letan
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
Age
Commit message (
Collapse
)
Author
2022-08-13
Hide cleapatra series for now
Thomas Letan
2022-08-13
Fix the link in the coqffi tutorial by adding a new class of url
Thomas Letan
2022-08-13
Further tweaks in the toolchain
Thomas Letan
2022-08-13
Some tweaks to the toolchain
Thomas Letan
2022-08-13
Provide a script to capture output of commands into files in 'logs/'
Thomas Letan
2022-08-13
Use emacs --daemon to speed things up
Thomas Letan
2022-08-13
Typo ):
Thomas Letan
2022-08-13
Add a toc in the index
Thomas Letan
2022-08-13
Goodbye, cleopatra
Thomas Letan
As it is, it is just too slow. Plus, the literate program that was my toolchain is actually not documented, so it makes no sense. I’m sad, though.
2022-08-13
Some minor CSS tweak
Thomas Letan
2022-08-12
Propose to send an email in every page
Thomas Letan
2022-08-12
Rework the article to be more straightforward
Thomas Letan
2022-08-08
More black
Thomas Letan
2022-08-07
Source moved from labs. to src.soap.coffee
Thomas Letan
2022-08-07
Bump soupault to 4.0.1
Thomas Letan
2022-08-07
Fix buggy margin notes
Thomas Letan
2022-08-07
Add an avatar to greet readers
Thomas Letan
2022-08-07
Add a new post about rank-n types in OCaml
Thomas Letan
2022-01-16
Fix stacked git summary
Thomas Letan
2022-01-16
Stacked Git is cool
Thomas Letan
2022-01-16
Use sans-serif font
Thomas Letan
2021-09-04
Refine one more time the widths of the layout components
Thomas Letan
2021-08-29
Increase the size of the nav containers
Thomas Letan
2021-08-29
Add a margin note at the beginning of the Monad transformers article
Thomas Letan
2021-08-29
Put the margin note on the left and center the text
Thomas Letan
2021-08-20
Fix a Coq warning
Thomas Letan
2021-08-20
Advertise the release of coqffi beta 6 and 7
Thomas Letan
2021-08-20
Improve the graph of dependencies of the Echo server
Thomas Letan
2021-08-20
The repository has moved
Thomas Letan
2021-08-20
Use a darker color for links
Thomas Letan
2021-08-20
Update various dependencies used by this website
Thomas Letan
2021-03-28
Adapt the keyr stats to the redesign
Thomas Letan
2021-03-28
Use the built-in plugin to insert the “Table of Contents” title
Thomas Letan
Thanks @dmbaturin for pointing this out!
2021-03-28
Fix soupault website
Thomas Letan
2021-03-28
2021 Spring redesign
Thomas Letan
2021-02-24
Release of coqffi 1.0.0~beta4
Thomas Letan
2021-01-30
Add some news about January, 2021
Thomas Letan
2021-01-24
Prepare coqffi.1.0.0~beta3 release
Thomas Letan
2021-01-24
Ignore _opam
Thomas Letan
2021-01-24
No more syntax highlighting
Thomas Letan
2021-01-16
Tweak margins
Thomas Letan
2020-12-29
Let people use the font of their liking
Thomas Letan
2020-12-20
Provide some insight on how literate programming projects are built
Thomas Letan
2020-12-16
Mention coqffi.dev
Thomas Letan
2020-12-16
FreeSpec has been published to Opam
Thomas Letan
2020-12-14
Fine-grained dependency for literate programming build process
Thomas Letan
2020-12-14
Do not output when tangling coqffi tutorial
Thomas Letan
2020-12-14
Avoid to display too much noweb variables
Thomas Letan
2020-12-14
Massive performance improvement for `history.sh'
Thomas Letan
Before: soupault 14.83s user 1.36s system 105% cpu 15.374 total After: soupault 3.37s user 0.77s system 106% cpu 3.871 total
2020-12-13
Advertise the use of cleopatra
Thomas Letan
[prev]
[next]