react-fontawesome
react-fontawesome copied to clipboard
danawoodman
A React Font Awesome component.
Specialisation tests break CI, the tests pass when run locally but CI gets stuck and does nothing. Steps to reproduce: - Go into `src/Typedefs/Test/TypedefsSuite.idr` - Remove the commented line or...
Right now, the Haskell backend relies on explicitly calling serialisation function for types that depend on other types. For example: ``` (name List (mu (Nil 1) (Cons (* (var 1)...
Currently, for typedefs like ```clj (name userId int) ``` the Haskell backend generates type aliases like ```haskell type UserId = ... ``` Depending on the target language of the backend,...
The type of deserialiser does not include any error reporting and currently looks like this: ```idris MkDeserialiser : (Bytes -> Maybe (a, Bytes)) -> Deserialiser a ``` We should probably...
To polish the modules' interfaces.
This was already addressed in #81 and implemented in #85 and #87, but as of #109, it is broken and everything related to it has been commented out. ## Desired...
@kjekac brought up an example that doesn't seem to be expressible with current typedefs: ``` data Foobar a b = Foo | Bar a b (Foobar b a) ``` This...
https://github.com/statebox/js-stbx-packet-codec/blob/master/statebox.proto
