• R/O
  • HTTP
  • SSH


No Tags

Frequently used words (click to add to your profile)

javac++androidlinuxc#windowsobjective-ccocoa誰得qtpythonphprubygameguibathyscaphec計画中(planning stage)翻訳omegatframeworktwitterdomtestvb.netdirectxゲームエンジンbtronarduinopreviewer

A categorical programming language

Rev. 时间 作者
d69bf98 2022-08-14 13:35:28 Corbin

Hack up a basic concept for a packed JSON hive.

598d533 2022-08-12 10:05:59 Corbin

Okay, well, let's just leave embed/ broken.

aeb3968 2022-08-06 10:50:16 Corbin

Reboot OCaml-oriented compiler.

This time, we're focusing on translation, not transformation or
optimization. Those were siren distractions.

5452910 2022-07-25 06:28:24 Corbin

Damn you're fast.

fa785ac 2022-07-13 00:40:27 Corbin

Display trails in the REPL when available.

57f5967 2022-07-12 09:35:51 Corbin

Teach movelist about app, and improve jelly in tandem.

5fd12d1 2022-07-10 12:56:20 Corbin

Specialize (uncurry id) to app.

b5514df 2022-07-03 23:20:13 Corbin

Add the ability to display sequences, not just elements.

c7ccf92 2022-07-02 14:49:58 Corbin

Implement the remainder function.

dbe659e 2022-07-02 12:06:13 Corbin

Logarithms for floats.

f34cbf0 2022-06-26 12:00:46 Corbin

Add another demo.

76b698c 2022-06-24 14:26:09 Corbin

Implement left-shifting for bits.

714d4c0 2022-06-20 14:10:40 Corbin

Let the viewport for drawings automatically scale.

5554262 2022-06-20 09:18:37 Corbin

Factor out some color-handling functions.

aafb1ba 2022-06-20 03:50:32 Corbin

Apply jelly to itself to test its quality.

The idea is similar to the Knuth-Bendix algorithm, but including the
possibility that, after E-matching, the source expression is the best
expression; this means that the rule is intentionally explosive and
meant to expose further rewrite opportunities.

bf257c1 2022-06-19 10:47:34 Corbin

Fix up the aspect ratio somewhat for animations.

I can't make it perfect because information about monospace font
geometry isn't reliably available.

71b0373 2022-06-17 10:31:51 Corbin

Add 3x3 matrices.

Required adding more letters to the pretty-printer for types.

e21733b 2022-06-16 12:51:11 Corbin

Add swap and dup to movelist, and enrich jelly.

0720745 2022-06-14 14:44:52 Corbin

Jet (pair snd fst) to swap.

2d67de7 2022-06-14 13:06:20 Corbin

Jet (pair id id) to dup.

2b132b6 2022-06-14 12:35:41 Corbin

Make sifting slightly more useful.

a81d7cf 2022-06-14 12:13:42 Corbin

Use sed to rewrite many expressions.

de93ad7 2022-06-14 09:11:33 Corbin

Factor out some colors.

Kind of surprised by how much this speeds up the ellipse demos.

123abcd 2022-06-14 08:10:24 Corbin

Print time taken to evaluate elements in REPL.

115c30f 2022-06-10 15:40:49 Corbin

Add a Max Headroom-inspired demo effect.

26e5947 2022-06-08 13:52:21 Corbin

Add a fun demo.

2850fe9 2022-06-06 06:37:10 Corbin

Make a nice spinning ellipse.

392d5e7 2022-06-06 03:04:12 Corbin

Do basic animations with libcaca.

12ab444 2022-06-01 08:26:57 Corbin

Add short atoms for very common operations.

Three of these will eventually be jets, I think.

e3be82b 2022-05-31 13:48:27 Corbin

Add a new tool for finding common subexpressions.