• 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. 时间 作者
8922d03 2021-08-30 08:57:46 Corbin

movelist: Expose djinn functionality.

41583a2 2021-08-26 06:35:07 Corbin

Remove bootstrap notes.

Literally everything of interest is archived at
https://esolangs.org/w/index.php?title=Cammy&oldid=87614 and hopefully
the current version of the page is even more informative and helpful.

fe2f843 2021-08-26 06:03:08 Corbin

jelly: Cite Elliott by last name.

Pedantic consistency with other documentation.

773c469 2021-08-26 05:59:01 Corbin

movelist: Remove dependency on `matchable`.

And remove it from the shell too.

9640f42 2021-08-25 12:21:08 Corbin

movelist: Change cammy° to a ternary relation.

We obtain the desired consequence: For a little less code overall, we
can now provide input and output types, and search for Cammy expressions
which implement the given types.

d2b7fc8 2021-08-24 02:49:04 Corbin

Introduce a new basic typechecker.

e6929ce 2021-08-18 01:18:12 Corbin

Compile sums to Scheme.

703331d 2021-08-17 04:09:26 Corbin

Try to unroll primitive recursion.

The egg library does make this very neat. We explain that it is possible
to speculatively unroll primitive recursion for the successor case, but
don't have to worry about whether it will be worthwhile to do so.

62cedf9 2021-08-17 00:49:42 Corbin

Clean up and start thinking about publication.

4b7a444 2021-08-14 12:24:30 Corbin

Allow 0 as a valid nat in Scheme.

213493b 2021-08-14 10:29:57 Corbin

Implement list fusion.

We are fusing both intermediate lists and partially-consumed lists.

8f46d96 2021-08-14 09:19:57 Corbin

Add map() functor on lists.

A little bit of abstract thought suggests that fold() isn't enough to do
this, but I'm very open to constructive proofs otherwise.

3697b0b 2021-08-14 09:04:22 Corbin

Use a temporary directory for compiling.

5669ccd 2021-08-13 00:36:17 Corbin

Implement list/head.

The limitations of the type system are rapidly materializing, but we can
still make progress.

b8dc673 2021-08-11 10:13:48 Corbin

Add some list-oriented programs.

3ee4ecc 2021-08-11 02:02:54 Corbin

Redo and simplify argument handling.

Lists of lists should no longer be off the menu.

cddb6b8 2021-08-11 02:02:43 Corbin

frame: Tiny bit of code cleanup.

7f8b03a 2021-08-10 14:34:36 Corbin

Parse lists of nats.

Generalized lists of lists will need something recursive.

9874abe 2021-08-09 05:51:52 Corbin

Require nats to be positive.

390c198 2021-08-09 05:37:09 Corbin

Allow integers as input.

8950597 2021-08-09 05:20:41 Corbin

A little bit of cleanup.

9779290 2021-08-09 03:59:54 Corbin

hive/nat: Adjust for stricter typing.

Type-checking (curry zero) is no longer possible because we now insist
that zero : 1 -> N rather than zero : A -> N for any type A. However, we
can still (curry (comp ignore zero)).

242bd71 2021-08-09 03:55:37 Corbin

We are under AGPL.

2cbf0e3 2021-08-09 03:23:09 Corbin

jelly: Remove lazy code loading.

That's now factored to frame, allowing jelly to focus on rewrites.

bcd9cef 2021-08-09 03:18:29 Corbin

Set up a Dune project for frame.

And call frame from compile.sh.

f3e082a 2021-08-08 16:55:38 Corbin

Hack together a basic tool for pre-expanding ASTs.

a6bb877 2021-08-07 05:43:46 Corbin

Rename jeggs to jelly.

db65623 2021-08-07 05:22:07 Corbin

Try representing integers as pairs of nats.

We don't have a way to finish ints as pairs of nats, and also it seems
that we are making egg unhappy.

71e3f03 2021-08-07 03:34:02 Corbin

Bookkeeping and preparation for integers.

12ffc69 2021-08-07 01:39:50 Corbin

Don't use Zarith. Move jeggs to its own directory.

Zarith is very nice, but we don't need it merely to designate natural
numbers for type-checking in OCaml.

Nix keeps including non-jeggs source code in filterSource, resulting in
spurious rebuilds. Let's not do that.