summaryrefslogtreecommitdiffstats
BranchCommit messageAuthorAge
masterAnnounce the acceptance of our coqffi paperThomas Letan3 days
 
 
AgeCommit messageAuthor
3 daysAnnounce the acceptance of our coqffi paperHEADmasterThomas Letan
3 daysRemove a redundant </head> tag in HTML templateThomas Letan
3 daysUpdate gitignore fileThomas Letan
3 daysRework header to make it more mobile friendlyThomas Letan
2020-10-30Reword the titles of the “Strongly-Specified Functions”’s articlesThomas Letan
2020-10-23Update to soupault.2.0.0Thomas Letan
2020-10-10Create a summary page for the strongly-specified functions seriesThomas Letan
2020-10-09Fix Coq source scrollingThomas Letan
2020-10-09Variablify the margin of a pageThomas Letan
2020-10-08coqffi has been published!Thomas Letan
[...]
 
Clone
https://code.soap.coffee/writing/lthms.git