https://github.com/wwu-pi/muli
Tip revision: c348ad62e5ae46607a0e39d3782cbaefb17d6fd5 authored by Hendrik Winkelmann on 17 December 2021, 15:25:43 UTC
Point to new muli-env
Point to new muli-env
Tip revision: c348ad6
File | Mode | Size |
---|---|---|
LICENSES | ||
examples | ||
muggl-for-muli @ 53a2874 | ||
muli-classpath @ 33cb0a6 | ||
muli-env @ 9df2800 | ||
muli-lang @ b74adbe | ||
.gitignore | -rw-r--r-- | 57 bytes |
.gitmodules | -rw-r--r-- | 399 bytes |
LICENSE | -rw-r--r-- | 34.3 KB |
Makefile | -rw-r--r-- | 1.2 KB |
README.md | -rw-r--r-- | 4.2 KB |
muli-free-objects-semantics.pdf | -rw-r--r-- | 175.0 KB |