summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--Cube.hs3754logplain
-rw-r--r--CubeExpr.hs11096logplain
-rw-r--r--LICENSE1559logplain
-rw-r--r--Makefile410logplain
-rw-r--r--REPL.hs1073logplain
-rwxr-xr-xSetup.lhs94logplain
-rw-r--r--bool.cube461logplain
-rw-r--r--char.cube676logplain
-rw-r--r--either.cube460logplain
-rw-r--r--exists.cube342logplain
-rw-r--r--extchar.cube91logplain
-rw-r--r--lambdacube.cabal697logplain
-rw-r--r--list.cube957logplain
-rw-r--r--listmisc.cube756logplain
-rw-r--r--maybe.cube406logplain
-rw-r--r--misc.cube135logplain
-rw-r--r--nat.cube633logplain
-rw-r--r--natmisc.cube623logplain
-rw-r--r--pair.cube458logplain
-rw-r--r--test.cube58logplain
-rw-r--r--test.ok229logplain
-rw-r--r--unit.cube103logplain
-rw-r--r--void.cube77logplain