• R/O
  • HTTP
  • SSH


No Tags

Frequently used words (click to add to your profile)

javac++androidlinuxc#objective-cqt誰得windowscocoapythonphprubygameguibathyscaphec翻訳omegat計画中(planning stage)frameworktwittertestdomvb.netdirectxbtronarduinopreviewerゲームエンジン

A categorical programming language

Rev. 时间 作者
caae86f master 2022-09-19 02:41:02 Corbin

Honey can evaluate nat/256 in the browser!

83402fc 2022-09-12 01:49:26 Corbin

Check in a bunch of random files that I've had sitting around.

a59a850 2022-09-11 12:57:15 Corbin

Fill out a basic OpenAPI contract.

38556f6 2022-09-11 09:52:35 Corbin

Kind of switch to a JSON hive.

81459e9 2022-08-27 10:54:50 Corbin

Start on a new REPL which interacts with honey.

612dde4 2022-08-22 06:50:00 Corbin

Start work on a new sort of spellserver.

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.