Skip to content

Toy ML-style langauge for staged computation with refined environment classifiers

Notifications You must be signed in to change notification settings

SoftwareFoundationGroupAtKyotoU/miniml-refenv

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

install

opam install dune base core stdio menhir ppx_jane

build

dune build

run with sample

dune exec bin/main.exe < sample/spower.txt

About

Toy ML-style langauge for staged computation with refined environment classifiers

Resources

Stars

Watchers

Forks

Packages

No packages published

Languages