typedefs/typedefs

Issues

• Implement test suite for binary format in Idris backend

  #228 opened 4 years ago by andrevidela
  0

• http://typedefs.com/ site is down

  #239 opened 9 months ago by sitch
  0

• Is the project still alive?

  #237 opened 3 years ago by visortelle
  1

• Visualise typedefs

  #236 opened 4 years ago by andrevidela
  0

• Add a "syntax AST" for typedefs

  #175 opened 5 years ago by andrevidela
  9

• re-add `Typedefs.Strings` without breaking CI

  #201 opened 5 years ago by andrevidela
  0

• PureScript backend

  #206 opened 5 years ago by andrevidela
  1

• Wrong name in haskell backend

  #209 opened 5 years ago by andrevidela
  0

• Open up specialization API for user-defined types

  #167 opened 5 years ago by andrevidela
  0

• Fix parser on identifiers which aren't type applications but use references

  #208 opened 5 years ago by andrevidela
  1

• Implement specialized types for the Haskell backend

  #166 opened 5 years ago by andrevidela
  0

• `elba repl` fails

  #181 opened 5 years ago by marcosh
  3

• Remove debrujin index from the user-facing language

  #164 opened 5 years ago by andrevidela
  0

• compile self-references to TMU

  #163 opened 5 years ago by andrevidela
  0

• Do not generate typedefs for type which share the same name as a specialized type

  #169 opened 5 years ago by andrevidela
  0

• Haskell backend generates wrong case patterns when using lowercase typedef names

  #171 opened 5 years ago by andrevidela
  0

• Haskell backend: Use module name to scope constructors to avoid conflicts

  #173 opened 5 years ago by andrevidela
  0

• Fix termdefs for specialised types

  #198 opened 5 years ago by andrevidela
  7

• Update `eqTy` to with with non-empty specialisation contexts

  #226 opened 5 years ago by andrevidela
  0

• Check for key oder and format

  #233 opened 4 years ago by andrevidela
  0

• Find a way to generalise `TNat1` and `TString1`

  #235 opened 4 years ago by andrevidela
  0

• Adapt the current installation tutorial for Nix

  #179 opened 4 years ago by andrevidela
  0

• Help Martin in figuring out of TD can be useful for Ethereum 2

  #168 opened 4 years ago by wires
  2

• Add ignoreWeaken (reverse of ignoreShift)

  #221 opened 5 years ago by clayrat
  1

• Can we remove RRef?

  #232 opened 4 years ago by andrevidela
  0

• Find a solution to remove `believe_me` in JSON format

  #224 opened 4 years ago by andrevidela
  1

• Add ergonomic functions to convert from and to typical typedefs

  #212 opened 4 years ago by andrevidela
  2

• Fix Type Application for references in Idris Type Interpretation

  #220 opened 5 years ago by andrevidela
  4

• Fix ty with idris backend when using references and parameterised types

  #215 opened 5 years ago by andrevidela
  0

• Have JSON as a binary format

  #213 opened 5 years ago by andrevidela
  0

• Serialization of terms constructed out of nested Mu's crashes

  #211 opened 5 years ago by clayrat
  4

• error : cannot generate JSON schema for open typedefs

  #210 opened 5 years ago by banacorn
  2

• Fix Termparse for specialised types

  #200 opened 5 years ago by andrevidela
  0

• Update Nix version of TParsec

  #196 opened 5 years ago by clayrat
  5

• Replace uses of empty type application by references

  #193 opened 5 years ago by andrevidela
  1

• v0.1 elba install fails "unknown reference CommandLineOpts"

  #205 opened 5 years ago by wires
  3

• re-add specialisation tests

  #202 opened 5 years ago by andrevidela
  0

• Add syntax and parser for TApp

  #194 opened 5 years ago by clayrat
  1

• create debug function for `TDef` and `TNamed`

  #197 opened 5 years ago by marcosh
  0

• implement `weakenMu`

  #190 opened 5 years ago by marcosh
  4

• [Question] How does this compare to ADL?

  #192 opened 5 years ago by sideeffffect
  3

• Tag current version of Typedefs and pin it for other projects

  #195 opened 5 years ago by andrevidela
  1

• Implement decidable equality for closed typdefs.

  #177 opened 5 years ago by andrevidela
  0

• Implement syntax for specialized types

  #165 opened 5 years ago by andrevidela
  0

• Haskell: Use typeclasses for types that can be encoded and decoded by typedefs.

  #188 opened 5 years ago by andrevidela
  0

• Haskell backend should have a module name in the preamble

  #172 opened 5 years ago by andrevidela
  0

• replace `serializer` by `serialiser` in JS API

  #178 opened 5 years ago by andrevidela
  0

• `elba test` fails

  #182 opened 5 years ago by marcosh
  0

• Haskell test on large Tuple segfaults

  #183 opened 5 years ago by andrevidela
  0

• Expand documentation for serialization format

  #170 opened 5 years ago by wires
  0