erasure and also baby's first scheme backend #29

Merged

rhi merged 33 commits from 🧼 into 🐉

2023-11-03 13:06:42 -04:00

rhi commented

2023-09-20 16:10:16 -04:00

Owner

No description provided.

rhi added 2 commits 2023-09-20 16:10:17 -04:00

7602caa11d untyped λ calculus syntax

1e3ac5a1ac wip erasure

rhi force-pushed 🧼 from 1e3ac5a1ac to 5e0a557854

2023-09-27 10:07:35 -04:00

Compare

rhi force-pushed 🧼 from 5e0a557854 to c023845ed7

2023-09-30 12:37:57 -04:00

Compare

rhi changed title from ~~WIP: erasure~~ to WIP: erasure and also baby's first scheme backend

2023-10-25 15:08:08 -04:00

rhi added 4 commits 2023-11-02 12:50:02 -04:00

3bec2477d9 add pair.map-fst and pair.map-snd

f40542441d add postulate, #[compile-scheme], #[main]

ef6deade76 highlight errors even if real output is to a file

(unless told not to)

55a6906c28 always vsep scheme lets, otherwise they are unreadable

rhi added 8 commits 2023-11-03 12:43:05 -04:00

4a20ca027e rename Nat to NAT

91de0a5b4d fix comment

473df5fab4 disambiguate some names

(for the reader not the computer)

58b2729ae0 represent ℕ constants directly

instead of as huge `succ (succ (succ ⋯))` terms

baafa065c5 more tidying of outputs

6d9e4656bf misc.All doesn't need to be a ★¹

f517517ce9 add some #[compile-scheme]

310c20b73a add hello.quox to examples

rhi force-pushed 🧼 from 310c20b73a to d4639a35c6

2023-11-03 13:06:04 -04:00

Compare

rhi changed title from ~~WIP: erasure and also baby's first scheme backend~~ to erasure and also baby's first scheme backend

2023-11-03 13:06:19 -04:00

rhi merged commit d4639a35c6 into 🐉

2023-11-03 13:06:42 -04:00

rhi deleted branch 🧼

2023-11-03 13:06:48 -04:00

No reviewers

No Label

No Milestone

No Assignees

1 Participants

Notifications

Due Date

The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Reference: rhi/quox#29

No description provided.