issues
search
teikalang
/
teika
MIT License
318
stars
7
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
teika: move substitutions to context
#171
EduardoRFS
closed
11 months ago
0
teika: internalize substitution transformations
#170
EduardoRFS
closed
12 months ago
0
teika: only handle locally closed types
#169
EduardoRFS
closed
1 year ago
0
teika: simplify substitutions
#168
EduardoRFS
closed
1 year ago
0
teika: rename random functions
#167
EduardoRFS
closed
1 year ago
0
teika: multi context and more errors
#166
EduardoRFS
closed
1 year ago
0
Explicit Substitutions in the context
#165
EduardoRFS
opened
1 year ago
5
teika: single typing context
#164
EduardoRFS
closed
1 year ago
0
teika: drop GADTs and closer code gen
#163
EduardoRFS
closed
1 year ago
0
jsend: initial jtree design
#162
EduardoRFS
closed
1 year ago
0
jsend: initial utree
#161
EduardoRFS
closed
1 year ago
0
teika: merge subst expansion
#160
EduardoRFS
closed
1 year ago
0
Implement Jsend Prototype
#159
EduardoRFS
opened
1 year ago
2
Design Jsend Prototype
#158
EduardoRFS
opened
1 year ago
3
Implement Language Prototype
#157
EduardoRFS
closed
8 months ago
1
teika: add support to native operations
#156
EduardoRFS
closed
1 year ago
0
teika: support strings
#155
EduardoRFS
closed
1 year ago
0
teika: support let aliasing
#154
EduardoRFS
closed
1 year ago
0
teika: split error module from context
#153
EduardoRFS
closed
1 year ago
0
teika: make current level the same as of variables
#152
EduardoRFS
closed
1 year ago
0
teika: patterns and holes
#151
EduardoRFS
closed
1 year ago
0
teika: add support to self types
#150
EduardoRFS
closed
1 year ago
0
teika: add support to simple extensions
#149
EduardoRFS
closed
1 year ago
0
teika: drop higher order unification
#148
EduardoRFS
closed
1 year ago
0
teika: higher order unification
#147
EduardoRFS
closed
1 year ago
0
teika: support subst free and open bound
#146
EduardoRFS
closed
1 year ago
0
teika: simple explicit open / close / subst
#145
EduardoRFS
closed
1 year ago
0
teika: remove escape check during unification
#144
EduardoRFS
closed
1 year ago
0
teika: drop names from typed tree
#143
EduardoRFS
closed
1 year ago
0
teika: add initial unification based inference
#142
EduardoRFS
closed
1 year ago
0
teika: initial representation for holes
#141
EduardoRFS
closed
1 year ago
0
teika: drop pattern language
#140
EduardoRFS
closed
1 year ago
0
teika: initial migration to locally nameless
#139
EduardoRFS
closed
1 year ago
0
smol: add sigma example
#138
EduardoRFS
opened
1 year ago
0
smol: add closed optimizations
#137
EduardoRFS
opened
1 year ago
0
smol: document everything in hacking.md
#136
EduardoRFS
opened
1 year ago
0
teika: remove unused modules
#135
EduardoRFS
closed
1 year ago
0
smol: printing, errors and repl improvements
#134
EduardoRFS
closed
1 year ago
0
smol: fully functional self types
#133
EduardoRFS
closed
1 year ago
0
smol: implement fixpoint
#132
EduardoRFS
closed
1 year ago
0
smol: split elaboration from translation
#131
EduardoRFS
closed
1 year ago
0
smol: add assumption mode for self
#130
EduardoRFS
closed
1 year ago
0
Rewrite it in rust
#129
JVictorV
closed
1 year ago
0
smol: remove GADTs usage from typed tree
#128
EduardoRFS
closed
1 year ago
0
smol: remove locations from typed tree
#127
EduardoRFS
closed
1 year ago
0
smol: compact the typed tree
#126
EduardoRFS
closed
1 year ago
0
smol: remove explicit substitutions
#125
EduardoRFS
closed
1 year ago
0
smol: add machinery to handle self types
#124
EduardoRFS
closed
1 year ago
0
smol: extend typed tree to support induction
#123
EduardoRFS
closed
1 year ago
0
smol: extend language to support induction
#122
EduardoRFS
closed
1 year ago
0
Previous
Next