![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | 00-readme.txt | 2023-07-23 18:21 | 143 | |
![]() | 01-all-files.zip | 2023-07-23 18:21 | 3.6K | |
![]() | And.hs | 2023-07-23 18:21 | 1.3K | |
![]() | AndDef.hs | 2023-07-23 18:21 | 728 | |
![]() | TestLib.hs | 2023-07-23 18:21 | 4.5K | |
![]() | testAnd.hs | 2023-07-23 18:21 | 810 | |