mimsy

Solution editor in Ada

How to run

1. Use docker to run the demo:

   docker build --tag mimsy - < Dockerfile
   docker run --rm -p 3333:3333 mimsy
   

2. Open in the browser http://localhost:3333/game/index.html

3. Click Login, select Localhost, enter user as the user name and qwerty as the password.

4. Click "Intro" for the introduction mission, then sovle it.

5. Click "Elementary" (http://localhost:3333/game/library.html) to find more missions.