Skip to content

Latest commit

 

History

History
14 lines (10 loc) · 473 Bytes

README.md

File metadata and controls

14 lines (10 loc) · 473 Bytes

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.