Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/bor0/hello-idris
A WordPress plugin written in Idris
https://github.com/bor0/hello-idris
idris wordpress wordpress-plugin
Last synced: 7 days ago
JSON representation
A WordPress plugin written in Idris
- Host: GitHub
- URL: https://github.com/bor0/hello-idris
- Owner: bor0
- Created: 2018-09-16T11:35:39.000Z (over 6 years ago)
- Default Branch: master
- Last Pushed: 2018-09-16T11:35:50.000Z (over 6 years ago)
- Last Synced: 2024-11-07T00:36:53.300Z (about 2 months ago)
- Topics: idris, wordpress, wordpress-plugin
- Language: Idris
- Size: 2.93 KB
- Stars: 1
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
Hello Dolly in Idris
--------------------
This is a WordPress plugin written in [Idris](https://www.idris-lang.org/). It is a copy of the famous [Hello Dolly](https://wordpress.org/plugins/hello-dolly/) by [Matt Mullenweg](https://en.wikipedia.org/wiki/Matt_Mullenweg).I am using the Idris's [PHP backend](https://github.com/edwinb/idris-php) written by the author of Idris, [Dr. Edwin Brady](https://edwinb.wordpress.com/).
Installation steps:
1. Install Haskell (`brew install ghc`)
1. Install cabal (`brew install cabal-install`)
1. Update cabal to latest packages (`cabal update`)
1. Install Idris (`cabal install idris` or `brew install idris`)
1. Clone the PHP backend by doing `git clone https://github.com/edwinb/idris-php`
1. Apply patch to the repo to support modular arithmetic and time() in PHP (`patch -p1 < ~/Desktop/hello-idris/ffi.patch`)
1. Install the backend by doing `cabal install idris-php.cabal`
1. Build this project by running `make.sh`
1. Include cabal binaries with `export PATH=~/.cabal/bin:$PATH`
1. Combine the PHP output with the bootstrap file and copy it to WordPress plugins folder.This is an interesting proof of concept, as mentioned by Dr. Edwin himself on a [talk about Idris](https://www.youtube.com/watch?v=X36ye-1x_HQ#t=1810).
Boro Sitnikovski
2018