Beatrice: A tagless, dependently typed, self-aware programming language

21–26 of 26 posts

Re: Beatrice: A tagless, dependently typed, self-aware programming language

#21

Post by 2genders36035 » Mon, Apr 22, 2024, 10:05 PM UTC

[flagged]

#22

Post by 2genders35727 » Mon, Apr 22, 2024, 10:06 PM UTC

[flagged]

#23

Post by 2genders91 » Mon, Apr 22, 2024, 10:06 PM UTC

[flagged]

#24

Post by 2genders44146 » Mon, Apr 22, 2024, 10:06 PM UTC

[flagged]

#25

Post by 48864w6ui » Mon, Apr 22, 2024, 10:13 PM UTC

Beatrice is a happier, more felicitous, name

#26

Post by icosahedron » Wed, Apr 24, 2024, 11:25 PM UTC

It seems the repo is gone. Anyone know what happened to it?

Post reply on HN