krangelov a5cbf3e894 fix other potential allocation failures

2021-11-18 18:16:41 +01:00

..

c

fix other potential allocation failures

2021-11-18 18:16:41 +01:00

dotNet

the parser for abstract expressions in the C runtime now supports partial parses

2017-09-28 13:57:13 +02:00

haskell

added test case for showPGF

2021-11-18 13:55:57 +01:00

java

added an API for cloning expressions/types/literals

2020-08-14 20:54:15 +02:00

javascript

Use Node.js 12 in CI

2021-10-18 14:42:37 +02:00

python

correctly distinguish between fun and data judgements

2021-11-18 13:50:09 +01:00

swipl

initial binding to Prolog for the C runtime

2014-04-02 10:03:19 +00:00