Sebastiaan Joosten
Sebastiaan Joosten
Not sure if this is a stockfish issue or lichess, and hope it can be reproduced: here's a screenshot from the app:  The suggested move/line is not valid in...
For speeding up verification, proof goals can be split up into separately verifiable viper files. The viper output of those files can then be cached, such that when the verification...
**Current situation** Composing Ampersand scripts currently works by taking the union of a bunch of ADL files. This gives a lot of flexibility but also provides little to no structure....
The --interfaces switch should generate some default interfaces, such that it can be used as a bootstrap / scaffold.
# Problem Suppose we have a generic concept and two specific concepts, e.g. ```adl contract :: Employee * Contract CLASSIFY FixedTermContract ISA Contract CLASSIFY PermanentContract ISA Contract ``` How do...
I really like using docker for making prototypes. It is very fast too! In fact, while I'm still waiting for 'stack' to install the latest so I can build pdf...
I asked Synquid (via 'try online') a question that is a variation on the replicate problem, given below. I got this error (truncated for brevity): ``` /var/www/comcom/tmp/Synquid/9586857029030353/Synquid.sq:29: Error: Cannot match...