stan/FeatherweightTypeInference
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
44 Commits 5 Branches 0 Tags
Commit Graph

3 Commits

Author SHA1 Message Date
JanUlrich
51c9f217c0 Filter methods 2021-12-13 01:32:54 +01:00
Andreas Stadelmeier
d03231fd95 Adding the possibility of type annotations to input 2021-12-06 20:14:05 +01:00
Andreas Stadelmeier
cc9dd29775 add compiled js for github pages 2021-12-02 02:54:06 +01:00