Georges Dupéron
|
fa3ed3b3da
|
Generate syntax-highlighted source with embedded quotes from the article
|
2018-08-12 16:34:50 +02:00 |
|
Georges Dupéron
|
cba1d3f867
|
WIP
|
2018-08-12 00:26:45 +02:00 |
|
Georges Dupéron
|
8bb879dc16
|
Left type-level programming aside for now
|
2018-08-11 12:27:32 +02:00 |
|
Georges Dupéron
|
5888eff68b
|
Tried to manage free variables, but the result is way too complex (and doesn't work for now).
|
2018-08-11 12:08:45 +02:00 |
|
Georges Dupéron
|
0149738fd8
|
cleanup
|
2018-08-10 09:11:10 +02:00 |
|
Georges Dupéron
|
4071de59f7
|
circumvented unbound variable bug
|
2018-08-09 23:31:46 +02:00 |
|
Georges Dupéron
|
2ddc601a3d
|
unbound variable bug
|
2018-08-09 09:43:53 +02:00 |
|
Georges Dupéron
|
a22715b749
|
tmp
|
2018-08-08 22:49:00 +02:00 |
|
Georges Dupéron
|
1bd3cf00cd
|
Type-level function DSL with a nicer syntax
|
2018-08-08 09:18:20 +02:00 |
|
Georges Dupéron
|
ce9e429eeb
|
First attempt at a type-level function DSL
|
2018-08-07 23:43:23 +02:00 |
|
Georges Dupéron
|
77c37cf5ac
|
Stack and substack, separated from the pairs of buffers.
|
2018-08-07 22:22:22 +02:00 |
|
Georges Dupéron
|
6658bdcaa6
|
Remove older attempts
|
2018-08-06 00:49:30 +02:00 |
|
Georges Dupéron
|
3aa74ea869
|
WIP: buffer and deque colors
|
2018-08-06 00:45:50 +02:00 |
|
Georges Dupéron
|
9fdde72b51
|
WIP
|
2018-08-04 22:21:56 +02:00 |
|
Georges Dupéron
|
0ba3a253ac
|
Use polymorphic variants; define color ordering and color of a deque
|
2018-08-02 01:13:56 +02:00 |
|
Georges Dupéron
|
2ff9f777cf
|
Added types for buffers (0..5 elements), colors (green, yellow, red) and deques made out of those
|
2018-08-01 01:05:01 +02:00 |
|
Georges Dupéron
|
bac59a6495
|
Makefile rule for cropping the PDF to extract small parts of the article
|
2018-08-01 01:05:01 +02:00 |
|
Georges Dupéron
|
41c6f78bc0
|
Created project structure
Makefile
.travis.yml
Empty .ml
For now the .mli is auto-generated
|
2018-07-30 01:05:51 +02:00 |
|
Georges Dupéron
|
2fe984730d
|
Added license (CC0)
|
2018-07-30 00:51:19 +02:00 |
|