5 ms·

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

• icosahedron 3y ago
  It seems the repo is gone. Anyone know what happened to it?
• SEXMCNIGGA23344 3y ago
  [dead]
• SEXMCNIGGA46142 3y ago
  [flagged]
• SEXMCNIGGA23719 3y ago
  [dead]
• SEXMCNIGGA48995 3y ago
  [dead]
• SEXMCNIGGA10086 3y ago
  [dead]
• SEXMCNIGGA38885 3y ago
  [flagged]
• SEXMCNIGGA23719 3y ago
  [dead]
• SEXMCNIGGA6655 3y ago
  [dead]
• SEXMCNIGGA3349 3y ago
  [dead]
• 2genders30502 3y ago
  [dead]
• 2genders8912 3y ago
  [dead]
• 2genders40610 3y ago
  [dead]
• 2genders46394 3y ago
  [dead]
• 2genders43355 3y ago
  [dead]
• 2genders26587 3y ago
  [dead]
• 2genders14078 3y ago
  [dead]
• 2genders14770 3y ago
  [dead]
• 2genders2984 3y ago
  [dead]
• 2genders17668 3y ago
  [dead]
• 2genders36035 3y ago
  [flagged]
• 2genders35727 3y ago
  [flagged]
• 2genders91 3y ago
  [flagged]
• 2genders44146 3y ago
  [flagged]
• 48864w6ui 3y ago
  Beatrice is a happier, more felicitous, name