summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.gitignore5logplain
-rw-r--r--Ch10.idr1689logplain
-rw-r--r--DepType.idr474logplain
-rw-r--r--Dispatch.idr1697logplain
-rw-r--r--Prims.idr119logplain
-rw-r--r--Theorems.idr2911logplain
-rw-r--r--default.nix141logplain
-rw-r--r--hello.idr58logplain