| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | cat.sysf | 964 | logplain |
| -rw-r--r-- | hello.sysf | 2160 | logplain |
| -rw-r--r-- | primes.sysf | 3683 | logplain |
| -rw-r--r-- | primes2.sysf | 5704 | logplain |
 |
index : sysf-i386 | |
| An implementation of System F in i386 assembly | Gloria Mundi |
| summaryrefslogtreecommitdiff |