Live data from Hacker News

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

hirrolot.github.io

Post reply on HN

Print view View original

1–10 of 26 posts

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

#1

Post by vg_head » Mon, Apr 22, 2024, 9:29 PM UTC

Beatrice: A tagless, dependently typed, self-aware programming language
hirrolot.github.io

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

#2

Post by SEXMCNIGGA46142 » Mon, Apr 22, 2024, 9:51 PM UTC

[flagged]

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

#3

Post by SEXMCNIGGA23719 » Mon, Apr 22, 2024, 9:51 PM UTC

[dead]

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

#4

Post by SEXMCNIGGA48995 » Mon, Apr 22, 2024, 9:52 PM UTC

[dead]

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

#5

Post by SEXMCNIGGA10086 » Mon, Apr 22, 2024, 9:52 PM UTC

[dead]

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

#6

Post by SEXMCNIGGA38885 » Mon, Apr 22, 2024, 9:52 PM UTC

[flagged]

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

#7

Post by SEXMCNIGGA23719 » Mon, Apr 22, 2024, 9:54 PM UTC

[dead]

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

#8

Post by SEXMCNIGGA23344 » Mon, Apr 22, 2024, 9:54 PM UTC

[dead]

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

#9

Post by SEXMCNIGGA6655 » Mon, Apr 22, 2024, 9:57 PM UTC

[dead]

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

#10

Post by SEXMCNIGGA3349 » Mon, Apr 22, 2024, 9:57 PM UTC

[dead]

Post reply on HN