• R/O
  • HTTP
  • SSH


No Tags

Frequently used words (click to add to your profile)

javaandroidc++linuxc#windowsobjective-ccocoaqt誰得pythonphprubygameguibathyscaphec計画中(planning stage)翻訳omegatframeworktwitterdomtestvb.netdirectxゲームエンジンbtronarduinopreviewer

A categorical programming language

Rev. 时间 作者
fba5664 2021-10-21 11:45:16 Corbin

Add a bunch of basic Scott-encoded stuff.

f2b6425 2021-10-18 12:43:58 Corbin

Multisample to antialias drawings.

c873fff 2021-10-18 11:35:21 Corbin

Make windowed viewports dynamic for drawings.

873bb27 2021-10-16 04:02:28 Corbin

Improve draw command's memory usage.

4935b89 2021-10-16 04:01:59 Corbin

jelly: IEEE 754 optimizations.

e805e3e 2021-10-12 13:12:01 Corbin

Draw the Burning Ship.

Realized that I need to reverse the indices in order to get it to draw
in the correct direction.

8bdf546 2021-10-10 14:27:37 Corbin

Draw a recognizable Mandelbrot set.

f05187a 2021-10-07 00:50:42 Corbin

Start unrolling folds.

This seems to change the optimizer's running time, but not the
performance of output.

8218d38 2021-10-06 11:51:08 Corbin

Draw what I hope is the edge of the Mandelbrot set.

553b9e7 2021-10-03 15:21:25 Corbin

Add rudimentary scaling and translation.

f067a22 2021-10-03 09:55:07 Corbin

Perform a smooth gradient; render signed distance functions.

1440aef 2021-10-01 02:19:54 Corbin

Migrate `pick` to hive; it can be built from `either`.

bb980a9 2021-09-30 07:25:05 Corbin

Fix up float functions, raytrace a cubic function.

44f9b79 2021-09-29 15:10:42 Corbin

Start drawing pictures.

ebe5905 2021-09-25 00:04:21 Corbin

Remove the old compiler.

08f8e5d 2021-09-24 11:26:25 Corbin

Create a new Nix-assembled entrypoint.

fc30dd1 2021-09-21 09:30:42 Corbin

Call egg2nix ourselves.

This lets us not wait for nixpkgs to have any particular eggs available.

ba6f571 2021-09-21 04:47:09 Corbin

Add many functors.

dc33246 2021-09-17 08:53:44 Corbin

Factor out list/filter.

This was the strongest motivating example of a user-defined non-nullary
functor, and I'm pleased to see that it works exactly as imagined.

b248a3b 2021-09-17 08:46:15 Corbin

Move several functors to the hive.

jelly can still see through them, mostly. Swapping and tensoring might
need another couple support rules to become truly transparent.

26c0818 2021-09-17 06:04:30 Corbin

frame: Allow user-defined functors with parameters.

I waffled over this for a while, but ultimately it's going to be
necessary for expressivity.

6165ec9 2021-09-17 02:56:17 Corbin

Add Choice for Booleans.

This does not restrain the target category much; we are only saying that
2 = 1 + 1
Which is relatively standard for sums.

c4d2e50 2021-09-16 13:35:45 Corbin

movelist: Use 1 and 2 for the unit and Boolean types.

af301d2 2021-09-16 13:11:32 Corbin

Give f-sqrt a partial semantics.

We want to keep NaNs out of F.

ebd7182 2021-09-16 08:38:09 Corbin

Add initial floating-point support.

d903e8a 2021-09-15 03:18:38 Corbin

Start benchmarking a bit.

9258165 2021-09-08 12:57:22 Corbin

Remove old scaffolding.

03bf7e7 2021-09-08 11:42:47 Corbin

Uncurry nat/add and nat/mul, fix compilation.

This is enough to get everything unbroken up to list/gauss.

85c53c3 2021-09-08 11:09:30 Corbin

Build movelist with Nix.

123ca2b 2021-09-08 10:17:38 Corbin

Use new typechecker for compilation.

More cleanup must be done.