Comments (2)
Should this also include OCaml? They do seem to have different syntax for data definitions.
from typedefs.
Yeah so prio seems to me ReasonML because that's what we're using. OCaml seems like a nice to have; it would be a separate issue. Right @wires?
from typedefs.
Related Issues (20)
- v0.1 elba install fails "unknown reference CommandLineOpts" HOT 3
- PureScript backend HOT 1
- Fix parser on identifiers which aren't type applications but use references HOT 1
- Wrong name in haskell backend
- error : cannot generate JSON schema for open typedefs HOT 2
- Serialization of terms constructed out of nested Mu's crashes HOT 4
- Add ergonomic functions to convert from and to typical typedefs HOT 2
- Have JSON as a binary format
- Fix ty with idris backend when using references and parameterised types
- Fix Type Application for references in Idris Type Interpretation HOT 4
- Add ignoreWeaken (reverse of ignoreShift) HOT 1
- Find a solution to remove `believe_me` in JSON format HOT 1
- Update `eqTy` to with with non-empty specialisation contexts
- Implement test suite for binary format in Idris backend
- Can we remove RRef?
- Check for key oder and format
- Find a way to generalise `TNat1` and `TString1`
- Visualise typedefs
- Is the project still alive? HOT 1
- http://typedefs.com/ site is down
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from typedefs.