typedefs typedefs issues

typedefs / typedefs

Programming language agnostic type construction language based on polynomials.

http://typedefs.com/

GNU Affero General Public License v3.0

366 stars 18 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

http://typedefs.com/ site is down

#239 sitch opened 9 months ago
0
port typedefs to idris2

#238 andrevidela closed 3 years ago
0
Is the project still alive?

#237 visortelle closed 3 years ago
1
Visualise typedefs

#236 andrevidela opened 4 years ago
0
Find a way to generalise `TNat1` and `TString1`

#235 andrevidela opened 4 years ago
0
Implement partial application

#234 andrevidela opened 4 years ago
2
Check for key oder and format

#233 andrevidela opened 4 years ago
0
Can we remove RRef?

#232 andrevidela opened 4 years ago
0
Implement termWrite with replacement context for type constructors

#231 andrevidela closed 4 years ago
1
Spec ctxt parse

#230 andrevidela closed 4 years ago
0
Fix CLI help message

#229 epost closed 4 years ago
1
Implement test suite for binary format in Idris backend

#228 andrevidela opened 4 years ago
0
Rewrite TermParse using specialisation context

#227 andrevidela closed 4 years ago
2
Update `eqTy` to with with non-empty specialisation contexts

#226 andrevidela opened 4 years ago
0
Change Ty to take a specialisation context in argument

#225 andrevidela closed 4 years ago
2
Find a solution to remove `believe_me` in JSON format

#224 andrevidela closed 4 years ago
1
WIP - purescript backend

#223 andrevidela closed 4 years ago
2
WIP - add strengthen

#222 andrevidela closed 4 years ago
2
Add ignoreWeaken (reverse of ignoreShift)

#221 clayrat opened 4 years ago
1
Fix Type Application for references in Idris Type Interpretation

#220 andrevidela closed 4 years ago
4
Add AlphaTy, BetaTy and GammaTy

#219 andrevidela closed 4 years ago
1
Json binary format

#218 andrevidela closed 4 years ago
0
Fix misleading name

#217 andrevidela closed 4 years ago
0
Fix indexing issues for inline application

#216 clayrat closed 4 years ago
1
Fix ty with idris backend when using references and parameterised types

#215 andrevidela closed 4 years ago
0
WIP - Haskell specialised

#214 andrevidela opened 4 years ago
0
Have JSON as a binary format

#213 andrevidela closed 4 years ago
0
Add ergonomic functions to convert from and to typical typedefs

#212 andrevidela closed 4 years ago
2
Serialization of terms constructed out of nested Mu's crashes

#211 clayrat closed 4 years ago
4
error : cannot generate JSON schema for open typedefs

#210 banacorn closed 4 years ago
2
Wrong name in haskell backend

#209 andrevidela opened 4 years ago
0
Fix parser on identifiers which aren't type applications but use references

#208 andrevidela opened 4 years ago
1
Split api

#207 andrevidela closed 4 years ago
4
PureScript backend

#206 andrevidela opened 4 years ago
1
v0.1 elba install fails "unknown reference CommandLineOpts"

#205 wires closed 4 years ago
3
Index free syntax

#204 andrevidela opened 4 years ago
2
Fix ref parsing

#203 andrevidela closed 4 years ago
3
re-add specialisation tests

#202 andrevidela opened 4 years ago
0
re-add `Typedefs.Strings` without breaking CI

#201 andrevidela opened 4 years ago
0
Fix Termparse for specialised types

#200 andrevidela closed 4 years ago
0
Debug

#199 marcosh closed 4 years ago
1
Fix termdefs for specialised types

#198 andrevidela opened 4 years ago
7
create debug function for `TDef` and `TNamed`

#197 marcosh closed 4 years ago
0
Update Nix version of TParsec

#196 clayrat closed 4 years ago
5
Tag current version of Typedefs and pin it for other projects

#195 andrevidela closed 4 years ago
1
Add syntax and parser for TApp

#194 clayrat closed 4 years ago
1
Replace uses of empty type application by references

#193 andrevidela opened 5 years ago
1
[Question] How does this compare to ADL?

#192 sideeffffect closed 4 years ago
3
Specialise hs

#191 andrevidela closed 4 years ago
4
implement `weakenMu`

#190 marcosh closed 4 years ago
4