YAS representation bipl(text)
Language
Dependencies
- languages/BIPL: membership
- Representation bipl(text)
- Goal eglAcceptor(biplAbstract: (~>))
- Files
- languages/BIPL: function
- Function parse
- Representation bipl(text)
- Representation bipl(term)
- Goal eglParser(biplAbstract: (~>))
- Files
Files
- languages/BIPL/samples/abs.bipl
- languages/BIPL/samples/addmul.bipl
- languages/BIPL/samples/bracket.bipl
- languages/BIPL/samples/div.bipl
- languages/BIPL/samples/exp-loop.bipl
- languages/BIPL/samples/exp-sliced.bipl
- languages/BIPL/samples/exp-unrolled.bipl
- languages/BIPL/samples/factorialV1.bipl
- languages/BIPL/samples/factorialV2.bipl
- languages/BIPL/samples/geq.bipl
- languages/BIPL/samples/ifthen.bipl
- languages/BIPL/samples/ifthenelse.bipl