https://github.com/matsubara0507/docker-mixml

Docker for MixML
https://github.com/matsubara0507/docker-mixml

docker-image sml

Last synced: 6 months ago
JSON representation

Docker for MixML

• Host: GitHub
• URL: https://github.com/matsubara0507/docker-mixml
• Owner: matsubara0507
• License: mit
• Created: 2018-03-30T16:35:52.000Z (over 7 years ago)
• Default Branch: master
• Last Pushed: 2018-03-30T18:09:22.000Z (over 7 years ago)
• Last Synced: 2025-02-02T18:47:02.906Z (8 months ago)
• Topics: docker-image, sml
• Language: Shell
• Homepage: https://hub.docker.com/r/matsubara0507/mixml/
• Size: 1.95 KB
• Stars: 0
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# docer-mixml

## USAGE

```sh

$ docker build -t mixml .

$ docker run --rm mixml ./mixml -h

Usage:  mixml [-c|t|v|x|h] [files...]

Options:

  -c  type-check only

  -t  type-check only with tracing

  -v  evaluate (default)

  -x  evaluate in checked mode

  -h  print usage

$ docker run --rm mixml ./mixml fib.mixml

[Processing fib.mixml...]

fib 10 = 55

```