Andreas Stadelmeier stan
2 Followers · 2 Following
  • Joined on 2023-11-14
Repositories
10
 Projects Packages Public Activity Starred Repositories
stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-02-14 01:24:34 +00:00
eab6907624 Fix
stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-02-14 01:23:47 +00:00
e598170ab3 Add SameW and GeneralW
stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-02-14 01:22:21 +00:00
d870248575 Add SameW and GeneralW
stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-02-14 00:56:44 +00:00
c880503ba5 Work in Progress
stan pushed to master at stan/WildFJ-Typeinference 2024-02-13 21:24:16 +00:00
0664440695 Add Equals rule
stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-02-13 20:05:35 +00:00
34530270c6 Add ntv to syntax
stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-02-13 18:14:17 +00:00
8b44a5bf5a Remove Normalize rule
stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-02-13 17:40:47 +00:00
a0d98b9403 Make match rule remember constraint type
fca93d7ec6 Introduce normal type placeholders \ntv
Compare 2 commits »
stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-02-11 22:30:16 +00:00
5074c21943 Cleanup
stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-02-11 22:29:43 +00:00
cbd0a48ca6 Add T-Call rule without receiver
3017cfc796 Introduction Wildcards
Compare 2 commits »
stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-02-10 07:19:37 +00:00
813b256e4d Intro to type rules
7ed1529710 Include Adopt, Settle and Raise again
Compare 2 commits »
stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-02-09 20:49:48 +00:00
669837d6ac Remove unnecessary fv premisses
3f92215914 Intro to Type Rules
Compare 2 commits »
stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-02-08 13:53:44 +00:00
1a3cf1c78e Change equals
stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-02-08 09:49:09 +00:00
7bf8a3a2da Add Trim method
stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-02-07 17:26:47 +00:00
10fcfcfea0 Cleanup Introduction. Fix method environment in Type Rules
stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-02-07 16:29:45 +00:00
26678767c2 Cleanup, rephrase introduction. Fix and Cleanup type rules. Remove override
stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-02-07 09:28:35 +00:00
6c716c5138 Add to introduction
stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-02-06 17:05:19 +00:00
f40299a36c hange Equals rule. Add explanations
stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-02-06 08:46:00 +00:00
98a66bbced Add Wildcard introduction
stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-02-05 23:44:52 +00:00
5433e94aab Fixes