aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source/luxc/lang/host/php.lux (follow)
Commit message (Expand)AuthorAgeFilesLines
* Switched to using new bit syntax in new-luxc.Eduardo Julian2018-07-141-4/+4
* Re-named "Bool" type to "Bit".Eduardo Julian2018-07-131-3/+5
* - Re-named "@abstraction" to ":abstraction" and "@representation" to ":repres...Eduardo Julian2018-07-031-50/+50
* - Re-named "Top" to "Any", and "Bottom" to "Nothing".Eduardo Julian2018-05-201-5/+5
* - Updated new-luxc to the latest stdlib changes.Eduardo Julian2018-05-061-5/+5
* - WIP: - Initial PHP back-end implementation [missing procedures].Eduardo Julian2018-05-011-140/+169
* - WIP: - Initial PHP back-end implementation.Eduardo Julian2018-04-271-0/+314