react-fontawesome
react-fontawesome copied to clipboard
danawoodman
A React Font Awesome component.
We want to turn turn the main `.idr` files into a literate Idris and turn it into a human readable article Jelle sketched out some typedefs stuff [here](https://hackmd.io/22MJzoZFRBycNiDgN1nKKg?both), please have...
Building using Nix is borked on my machine, so let's add another layer to make things 'easier'.
macOS 10.13.4 nix 2.1.3 Output: ``` ➜ typedefs git:(master) nix-build default.nix -A typedefs these derivations will be built: /nix/store/chwyrvnnh59ib11crq31d0nfr6qiqmkn-idris-typedefs-dev.drv building '/nix/store/chwyrvnnh59ib11crq31d0nfr6qiqmkn-idris-typedefs-dev.drv'... unpacking sources unpacking source archive /nix/store/pqwi1h8976g6l8nab0hjnklywinl24w3-typedefs source root is...
The following should work but does not ```clj (name blah (* (name char byte) (list byte) )) ```
After updating to the latest revision of `nixpkgs` in #141 some things broke down: * we had to remove `postInstall` steps as it was universally failing with `install: cannot stat...
All #133 #164 #163 #172 require changes to the AST but do not necessarily change the semantics of the language. This means it would be possible to write a new...
https://github.com/typedefs/typedefs/blob/fb909be7589509df0b78b29d43e35673f5177514/src/Typedefs/Strings.idr This file has been removed and the functions have been placed in `Typedefs.Typedefs`. This has been done to satisfy nix to build typedefs, indeed, with the file and the...
Add support for a purescript backend with both term definition and type definitions. Could probably be a straight port from the Haskell backend
```clojure (specialised Int) (name MyInt (mu (MkInt Int))) ``` outputs ``` data MyInt = MkInt MyInt ``` instead of ``` data MyInt = MkInt Int ```