https://github.com/matijapretnar/twelf-eff
Tip revision: f38f77849aeade6d83991c02cd300e9a7582de95 authored by Matija Pretnar on 19 September 2018, 06:25:10 UTC
Merge branch 'jfp-2018'
Merge branch 'jfp-2018'
Tip revision: f38f778
File | Mode | Size |
---|---|---|
eff-safety | ||
explicit-effect-subtyping | ||
no-value-restriction-is-needed | ||
polymorphic-fgcbv | ||
user-defined-effects-expressive-power | ||
.gitignore | -rw-r--r-- | 15 bytes |
Dockerfile | -rw-r--r-- | 666 bytes |
README.md | -rw-r--r-- | 4.0 KB |