| commit | 2adf8d3df8e1fcb17a92cab86be45a20ac6621da | |
| author | max <max@mr.gy> | |
| Wed, 17 Oct 2012 23:24:13 +0000 (18 01:24 +0200) | ||
| committer | max <max@mr.gy> | |
| Wed, 17 Oct 2012 23:24:13 +0000 (18 01:24 +0200) | ||
| tree | cddd849e97e46a12f648afe7c06e362c8242cf92 | treesnapshot (tar.gz zip) |
| parent | e9d007e61de133f80c341c18985cd7e54eeb752b | commitdiff |
Committed my take on implementing Cantor and Dedekind's set theory.
| bachelor-cs/README | [new file with mode: 0644] | blob |
| bachelor-cs/bachelor-cs.asd | [new file with mode: 0644] | blob |
| bachelor-cs/set-theory.lisp | [new file with mode: 0644] | blob |