Skip to content
GitLab
Explore
Sign in
Tags give the ability to mark specific points in history as being important
s_combination-unsafe_translation-v0.0.6
df89bdb2
·
added advancement trackers
·
Feb 10, 2021
s_and-unsafe_translation-v0.0.1
162171bd
·
advancement tracker
·
Feb 10, 2021
s_eql-unsafe_translation-v0.0.0
3c222eec
·
s_eql created but definetly not safe
·
Feb 10, 2021
s_not-unsafe_translation-v0.0.1
ea991a64
·
advancement in s_not's _inhabited
·
Feb 04, 2021
s_atomic-unsafe_translation-v0.0.2
b649dc20
·
added advancement comment
·
Feb 04, 2021
s_atomic-unsafe_translation-v0.0.1
f55c395d
·
added a proto version of apply and updated calls to STop and SEmpty
·
Feb 03, 2021
s_empty-unsafe_translation-v0.0.4
f26d5288
·
renamed omega to epsilon
·
Feb 03, 2021
s_empty-unsafe_translation-v0.0.3
68479e37
·
tried a bunch of workarounds to not having private constructors, ended up just...
·
Feb 03, 2021
s_top-unsafe_translation-v0.0.3
68479e37
·
tried a bunch of workarounds to not having private constructors, ended up just...
·
Feb 03, 2021
simple_type_d-unsafe_translation-v0.17
a60666b0
·
tested cmp_to_same_class_obj and corrected error in the tests relying on try excepts
·
Feb 01, 2021
simple_type_d-unsafe_translation-v0.16
f2077cfb
·
added tests for canonicalize
·
Feb 01, 2021
simple_type_d-unsafe_translation-v0.15
47f783b1
·
added tests for canonicalize_once and added a default arg to it
·
Feb 01, 2021
simple_type_d-unsafe_translation-v0.14
e1c93413
·
fully tested fixed_point()
·
Feb 01, 2021
simple_type_d-unsafe_translation-v0.13
82a56c59
·
added comments to keep track of the test coverage
·
Feb 01, 2021
simple_type_d-unsafe_translation-v0.12
e5ce65e6
·
added tests and corrected to_dnf(), to_cnf(), maybe_dnf(), and maybe_cnf()
·
Feb 01, 2021
simple_type_d-unsafe_translation-v0.11
7a87d271
·
corrected mistakes in disjoint and canonicalize, added one test for disjoint
·
Feb 01, 2021
simple_type_d-unsafe_translation-v0.10
043f158d
·
added one test to simple_type_d
·
Feb 01, 2021
simple_type_d-unsafe_translation-v0.9
36d9a147
·
fixed issues with my implementation of static vars in methods and corrected tab indents
·
Jan 29, 2021
simple_type_d-unsafe_translation-v0.8
2ce5b229
·
simple_type_d finally passes some tests. more incoming
·
Jan 29, 2021
types-unsafe_translation-v0.0.1
4a03f516
·
renamed types as genus_types because of issues when importing (the interpreter didn't like it)
·
Jan 29, 2021
Prev
1
2
3
4
5
Next