issues
search
evertedsphere
/
shorshe
freshly-fermented, dependently-typed mustard, with a substructural aftertaste
30
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Meta: dumping ground for papers
#10
evertedsphere
opened
4 years ago
0
Finish implementing Oxide
#9
mrkgnao
opened
4 years ago
0
Tracking: row polymorphism and (dependent) record systems
#8
mrkgnao
opened
4 years ago
0
Tracking: dependent typing
#7
mrkgnao
opened
4 years ago
0
Tracking: backend, codegen
#6
mrkgnao
opened
4 years ago
0
Tracking: frontend, textual syntax
#5
mrkgnao
opened
4 years ago
1
Tracking: mutability, purity, effect systems
#4
mrkgnao
opened
4 years ago
0
Tracking: substructurality, linearity, ownership
#3
mrkgnao
opened
4 years ago
0
Tracking: metaprogramming
#2
mrkgnao
opened
4 years ago
0
Tracking: choice of base core calculus
#1
mrkgnao
opened
4 years ago
4