Top New Trends Comments Past Ask Show Jobs

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

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

22 points·by vg_head·vor 2 Jahren·2 comments

hirrolot.github.io

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

https://hirrolot.github.io/posts/announcing-beatrice.html

25 comments

icosahedron·vor 2 Jahren

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

48864w6ui·vor 2 Jahren

Beatrice is a happier, more felicitous, name

SEXMCNIGGA10086·vor 2 Jahren

SEXMCNIGGA48995·vor 2 Jahren

2genders30502·vor 2 Jahren

SEXMCNIGGA23719·vor 2 Jahren

2genders26587·vor 2 Jahren

2genders43355·vor 2 Jahren

SEXMCNIGGA3349·vor 2 Jahren

SEXMCNIGGA23344·vor 2 Jahren

SEXMCNIGGA23719·vor 2 Jahren

2genders8912·vor 2 Jahren

2genders40610·vor 2 Jahren

2genders46394·vor 2 Jahren

SEXMCNIGGA6655·vor 2 Jahren

2genders14078·vor 2 Jahren

2genders2984·vor 2 Jahren

2genders14770·vor 2 Jahren

2genders17668·vor 2 Jahren

2genders36035·vor 2 Jahren

2genders35727·vor 2 Jahren

2genders91·vor 2 Jahren

SEXMCNIGGA46142·vor 2 Jahren

2genders44146·vor 2 Jahren

SEXMCNIGGA38885·vor 2 Jahren