Language

Package: pure @ 0.68

Synopsis

Pure programming Language

Description

pure is a programming language based on term rewriting. It offers equational definitions with pattern matching, full symbolic rewriting capabilities, dynamic typing, eager and lazy evaluation, lexical closures, built-in list and matrix support and a C interface.

Home page
https://agraef.github.io/pure-lang/
Location
gnu/packages/pure.scm (line: 33, column: 2)
License

Derivations

SystemTargetDerivationBuild status
x86_64-linux/gnu/store/b46ld0jjal9038fy2gp7p7gqagg5kz5w-pure-0.68.drv
x86_64-linuxx86_64-w64-mingw32/gnu/store/d4513qwf5v7nbkpvk85w3sqs9jgyz8sp-pure-0.68.drv
x86_64-linuxx86_64-linux-gnux32/gnu/store/d7bwyws44nisp09wg6lv6i98vmdkykrd-pure-0.68.drv
    x86_64-linuxriscv64-linux-gnu/gnu/store/phq2gjihglq8bj43ppirz47dxgwxq8kn-pure-0.68.drv
    x86_64-linuxpowerpc-linux-gnu/gnu/store/9qncr3v1gahmsl1gph8rnb4ziik1f3gp-pure-0.68.drv
    x86_64-linuxpowerpc64-linux-gnu/gnu/store/7bdwgljn7rm4d07n7jq6wk7hqzp2ff79-pure-0.68.drv
    x86_64-linuxpowerpc64le-linux-gnu/gnu/store/654v7ssf3krcsw09yiqx7f334nk2zs42-pure-0.68.drv
    x86_64-linuxmips64el-linux-gnu/gnu/store/j7y4sbm012xcblgrd1z56swjqvj8qba2-pure-0.68.drv
    x86_64-linuxi686-w64-mingw32/gnu/store/rv1602psyspp3cadj338a9j38qpvyyzr-pure-0.68.drv
    x86_64-linuxi586-pc-gnu/gnu/store/dikjxad0z1nfbrwlgr98bhikr30frz0i-pure-0.68.drv
    x86_64-linuxavr/gnu/store/ya03a35cq7vmhbhp399jir0mlsqsxgp3-pure-0.68.drv
      x86_64-linuxarm-linux-gnueabihf/gnu/store/gsf77g2yshmlv9nbs794n003agnr1yzf-pure-0.68.drv
      x86_64-linuxaarch64-linux-gnu/gnu/store/4ikxs7i53d0hgn54zv5wpm2n2n85946c-pure-0.68.drv
      riscv64-linux/gnu/store/crgdx68bsmapdqbq8jffy22004ln35x0-pure-0.68.drv
      powerpc-linux/gnu/store/2a841alqsp68rfdzah4vrx8m8ws3pyrd-pure-0.68.drv
        powerpc64le-linux/gnu/store/2si73iwzhdvizf199c7lxbg9inb8lifm-pure-0.68.drv
        mips64el-linux/gnu/store/k99nxyhrx9xvd4pid9182rshcnx854m3-pure-0.68.drv
          i686-linux/gnu/store/g844msp638qnawqkhzq03jb9lpl78prc-pure-0.68.drv
          i586-gnu/gnu/store/kvf0gm6ipq1g3mc61nbhwvsv6jrly7zy-pure-0.68.drv
          armhf-linux/gnu/store/iy15ybjs9kllxldjly79vksmz999lp2f-pure-0.68.drv
          aarch64-linux/gnu/store/jhda88fdwpdg1v9mkqy73px0750239lf-pure-0.68.drv

          Lint warnings

          LinterMessageLocation
          synopsis

          Validate package synopses

          synopsis should not start with the package name