suzanne.soy/kaplan-tarjan-dequeues-ocaml
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Commit Graph

  • 7496fd2637 Try with existentials and GADT dev Georges Dupéron 2018-08-15 12:05:55 +0200
  • 9c1c2a82d7 Drop current approach for now, will try with GADTs. Georges Dupéron 2018-08-15 11:56:54 +0200
  • ca47c0b5a5 Non-working attempt at solving the 'a * 'a issue without an extra constructor. Realized that the fast-forward pointers (stack) must jump to some arbitrary level of 'a * 'a nesting. Georges Dupéron 2018-08-14 11:00:55 +0200
  • 1bac86494b Forgot to have 'a * 'a in child deques, but this requires having a different constructor in cases that were unified Georges Dupéron 2018-08-14 11:00:55 +0200
  • fa3ed3b3da Generate syntax-highlighted source with embedded quotes from the article Georges Dupéron 2018-08-12 16:25:52 +0200
  • cba1d3f867 WIP Georges Dupéron 2018-08-11 23:26:46 +0200
  • 8bb879dc16 Left type-level programming aside for now Georges Dupéron 2018-08-11 12:27:13 +0200
  • 5888eff68b Tried to manage free variables, but the result is way too complex (and doesn't work for now). Georges Dupéron 2018-08-10 23:46:58 +0200
  • 0149738fd8 cleanup Georges Dupéron 2018-08-10 09:11:10 +0200
  • 4071de59f7 circumvented unbound variable bug Georges Dupéron 2018-08-09 23:31:46 +0200
  • 2ddc601a3d unbound variable bug Georges Dupéron 2018-08-09 09:43:53 +0200
  • a22715b749 tmp Georges Dupéron 2018-08-08 22:49:00 +0200
  • 1bd3cf00cd Type-level function DSL with a nicer syntax Georges Dupéron 2018-08-08 09:18:20 +0200
  • ce9e429eeb First attempt at a type-level function DSL Georges Dupéron 2018-08-07 23:43:23 +0200
  • 77c37cf5ac Stack and substack, separated from the pairs of buffers. Georges Dupéron 2018-08-06 23:46:40 +0200
  • 6658bdcaa6 Remove older attempts Georges Dupéron 2018-08-06 00:49:30 +0200
  • 3aa74ea869 WIP: buffer and deque colors Georges Dupéron 2018-08-06 00:45:39 +0200
  • 9fdde72b51 WIP Georges Dupéron 2018-08-04 22:21:56 +0200
  • 0ba3a253ac Use polymorphic variants; define color ordering and color of a deque Georges Dupéron 2018-08-02 01:13:28 +0200
  • 2ff9f777cf Added types for buffers (0..5 elements), colors (green, yellow, red) and deques made out of those Georges Dupéron 2018-08-01 00:41:58 +0200
  • bac59a6495 Makefile rule for cropping the PDF to extract small parts of the article Georges Dupéron 2018-07-31 22:59:48 +0200
  • 41c6f78bc0 Created project structure master Georges Dupéron 2018-07-30 01:03:39 +0200
  • 2fe984730d Added license (CC0) Georges Dupéron 2018-07-30 00:51:19 +0200