Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | .gitignore | 5 | logplain |
-rw-r--r-- | Ch10.idr | 1689 | logplain |
-rw-r--r-- | DepType.idr | 474 | logplain |
-rw-r--r-- | Dispatch.idr | 1697 | logplain |
-rw-r--r-- | Prims.idr | 119 | logplain |
-rw-r--r-- | Theorems.idr | 2911 | logplain |
-rw-r--r-- | default.nix | 141 | logplain |
-rw-r--r-- | hello.idr | 58 | logplain |