Stef Joosten

# What happened I am running the following script: ```Ampersand CONTEXT Script POPULATION X CONTAINS ["aap", "noot", "mies"] POPULATION A CONTAINS ["1", "2", "3"] RELATION r[X*A] POPULATION r CONTAINS [...

PURPOSE statement needed for ENFORCE

2

# Problem I cannot write a PURPOSE for the current implementation of ENFORCE statements. This forces me to go back to the ExecEngine syntax, where I can label the rule...

# What happened I have run the following script: ```Ampersand CONTEXT "Issue1293" REPRESENT A TYPE INTEGER RELATION r[A * B] = [ (1,"aap"), (2,"noot"), (3,"mies") ] RELATION s[A * B]...

no such directory ./templates

5

# What happened I tried to compile a prototype using just the Ampersand compiler ``` sjo00577@BA92-VYF9TXMD9G % docker run -it --platform=linux/amd64 -v "$(pwd)":/scripts ampersandtarski/ampersand:v4.6.2 check foo.adl This script of Foo...

Hyperlink reference in Conceptual Analysis

5

# What happened I generated a Word document from an Ampersand script. It documents a rule as follows: # What I expected I expected to see a readable name. I...

Don't store scalar atoms in own concept table if not needed

6

# Problem The following screenshot shows that some relations, e.g. `datetime`, have excessive amounts of instances:  From a practical point of view, there is no reason to keep such...

Refactoring the dataflow of CreateFspec

8

@hanjoosten and @stefjoosten ran into the need to refactor the function `createMulti :: Options -> IO(Guarded MultiFSpecs)` from module `CreateFspec`. Neither of us could solve issue #967 because function `createMulti`...

Feature: Atom called ONE

3

# What happened I remember that when we discussed the concept `ONE` in prehistoric times, we decided not to have a syntax for its atom. The idea was that we...

Concepts without equality

14

# Problem Ampersand currently assumes that equality is defined for all concepts. Suppose we could have concepts on which equality is *not* defined. The type checker could then help the...

Technical type should be checked to make mistakes easier to diagnose.

6

# What happened Han was using RAP on his local machine, trying to compile "[Arbeidsduur.adl](https://github.com/AmpersandTarski/Ampersand/blob/2aea634743a21f798d5cda8f10a068374eb85f83/testing/Travis/testcases/Misc/Arbeidsduur.adl)". After compiling Arbeidsduur for over 30 seconds, he got unexpected errors:  I can reproduce...