Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
.devcontainer
update site for 2nd ed
October 18, 2022 17:35
.github/workflows
github: fix workflow to install pandoc
October 18, 2022 17:46
bin
update site for 2nd ed
October 18, 2022 17:35
book
typo in bio
November 23, 2022 14:40
duniverse
fix async_graphics
August 30, 2022 13:13
static-wip
fix higher indices (labels cause pages to shift, so 2 makeindexes)
May 28, 2022 19:39
static
update site for 2nd ed
October 18, 2022 17:35
.dockerignore
port to a monorepo
January 9, 2018 08:58
.gitattributes
Do not display duniverse's diff in github
December 9, 2020 15:45
.gitignore
update more duniverse
September 6, 2021 15:41
.hgignore
added hgignore, so I can use hg-git properly
January 24, 2018 06:18
.ocamlformat
wip
February 5, 2022 20:03
.replit
more
October 22, 2022 17:34
Dockerfile
upgrade deps: now with async_graphics and dune 3.1.1
April 30, 2022 18:15
LICENSE.md
add LICENSE for the various uses in this repo
September 12, 2019 11:22
Makefile
update Makefile with server target and remove old duniverse ones
December 22, 2021 20:33
NOTES.md
Rename .topscript files into .mlt
March 7, 2018 10:27
README.md
update README for ctypes pin
April 18, 2022 18:32
dune
Add a non-deterministic dune profile to run mdx non-det tests
June 17, 2020 16:34
dune-project
add devcontainer for rwo
September 10, 2022 19:37
replix.nix
fix
October 22, 2022 16:48
rwo.opam
add texlive-full to get xelatex to depexts
September 10, 2022 19:40
rwo.opam.locked
add texlive-full to get xelatex to depexts
September 10, 2022 19:40
rwo.opam.template
add texlive-full to get xelatex to depexts
September 10, 2022 19:40