Skip to content
GitLab
Explore
Sign in
Tags give the ability to mark specific points in history as being important
simple_type_d-unsafe_translation-v0.7
4c5891cc
·
the slow down is commit is due to the fact that I now have to check things in...
·
Jan 28, 2021
s_top-unsafe_translation-v0.0.2
577a994e
·
added in a comment the scala code from which results the unit tests
·
Jan 28, 2021
s_and-unsafe_translation-v0.0.0
802cf311
·
adding comments on how to extract values from the scala code to make parts of the unit tests
·
Jan 28, 2021
s_empty-unsafe_translation-v0.0.2
a11c93e6
·
corrected a typo
·
Jan 28, 2021
s_top-unsafe_translation-v0.0.1
37f85582
·
added unit tests for s_top
·
Jan 28, 2021
s_empty-unsafe_translation-v0.0.1
a44f511d
·
added tests and comments, still need to refactor into a proper package
·
Jan 28, 2021
s_not-unsafe_translation-v0.0.0
ba72a75f
·
s_not, still not fully done because it depends on other classes
·
Jan 27, 2021
s_atomic-unsafe_translation-v0.0.0
495be38a
·
started working on s_atomic
·
Jan 27, 2021
s_combination-unsafe_translation-v0.0.5
c862cda5
·
added the return calling self.find_simplifiers
·
Jan 26, 2021
s_combination-unsafe_translation-v0.0.4
1086df88
·
replaced the calls to the SCombination constructors by calls to self.create
·
Jan 26, 2021
s_combination-unsafe_translation-v0.0.3
44eedcf9
·
updated l_6 (the flat_lambda)
·
Jan 26, 2021
types-unsafe_translation-v0.0.0
27f42b21
·
added an ersatz of types.py
·
Jan 26, 2021
simple_type_d-unsafe_translation-v0.6
29be3357
·
added enum for NormalForm
·
Jan 26, 2021
draft_phantom_types
d804e492
·
phantom_types
·
Jan 26, 2021
s_combination-unsafe_translation-v0.0.2
c000e613
·
s_combination, not done with it yet
·
Jan 26, 2021
brb_dinner
a94b5c78
·
taking a break to eat dinner, pushing everything I have
·
Jan 25, 2021
simple_type_d-unsafe_translation-v0.5
984c4967
·
added equivalent to terminaltype trait, though may not be useful
·
Jan 25, 2021
s_top-unsafe_translation-v0.0.0
b240f617
·
STop
·
Jan 25, 2021
s_empty-unsafe_translation-v0.0.0
215af676
·
SEmpty
·
Jan 25, 2021
s_combination-unsafe_translation-v0.0.1
99957d74
·
corrected class declaration
·
Jan 25, 2021
Prev
1
2
3
4
5
Next