idris-php
idris-php copied to clipboard
edwinb
Yes, really...
Results
1
idris-php issues
Sort by
recently updated
recently updated
newest added
I run `stack init` first which reads the cabal file and generates a `stack.yaml` file ``` $ stack build WARNING: filepath wildcard 'phprts/*.php' does not match any files. idris-php-0.0.0.1: configure...
