| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | constant-system.eqns | 6 | logplain |
| -rw-r--r-- | example.eqns | 101 | logplain |
| -rw-r--r-- | generate-fib.py | 159 | logplain |
| -rw-r--r-- | generate-long.py | 81 | logplain |
| -rw-r--r-- | generate-random.py | 699 | logplain |
| -rw-r--r-- | long-fib.eqns | 18672 | logplain |
| -rw-r--r-- | long-fixpoint.eqns | 137791 | logplain |
| -rw-r--r-- | minimal.eqns | 6 | logplain |
 |
index : honours | |
| My honours project from 2012. | Carlo |
| summaryrefslogtreecommitdiff |