total uncompressed bytes

146.2 KB

total files

63

Fix

41 wasted files

total waste: 14.1 KB

1. samples/test.pl : 2.1 KB
2. samples/REPL.md : 2.0 KB
3. appveyor.yml : 2.0 KB
4. .circleci/config.yml : 1.5 KB
5. samples/sum-split/maybe.minitt : 1.0 KB
6. samples/README.md : 593 B
7. samples/sum-split/bool.minitt : 469 B
8. samples/sum-split/nat.minitt : 371 B
9. .gitignore : 359 B
10. samples/dependent/function.minitt : 350 B
11. samples/dependent/sigma.minitt : 346 B
12. samples/negative/girard-paradox.out : 277 B
13. samples/basics/syntacic-sugar.minitt : 262 B
14. samples/basics/simple.minitt : 249 B
15. samples/basics/unicode.minitt : 245 B
16. samples/basics/univese.minitt : 233 B
17. samples/first-class-sum/subtyping.minitt : 222 B
18. samples/first-class-sum/sum-literals.minitt : 216 B
19. samples/basics/syntacic-sugar.out : 165 B
20. samples/basics/reference.minitt : 123 B
21. samples/dependent/long-function.minitt : 119 B
22. samples/negative/girard-paradox.minitt : 112 B
23. samples/basics/local-binding.minitt : 83 B
24. samples/basics/parse-only.minitt : 73 B
25. samples/sum-split/nat.out : 41 B
26. samples/sum-split/maybe.out : 41 B
27. samples/sum-split/bool.out : 41 B
28. samples/first-class-sum/sum-literals.out : 41 B
29. samples/first-class-sum/subtyping.out : 41 B
30. samples/dependent/sigma.out : 41 B
31. samples/dependent/long-function.out : 41 B
32. samples/dependent/function.out : 41 B
33. samples/basics/univese.out : 41 B
34. samples/basics/simple.out : 41 B
35. samples/basics/reference.out : 41 B
36. samples/basics/local-binding.out : 41 B
37. samples/basics/parse-only.out : 33 B
38. samples/basics/parse-only.flags : 24 B
39. samples/basics/unicode.out : 18 B
40. samples/basics/unicode.flags : 12 B
41. samples/basics/syntacic-sugar.flags : 11 B