6 ms·

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

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