Andreas Stadelmeier cc9dd29775 add compiled js for github pages		2021-12-02 02:54:06 +01:00
project	Add plugins.sbt	2021-11-03 02:00:30 +01:00
src	Start principal method filtering	2021-12-02 02:49:39 +01:00
target/scala-2.13/fj-typeinference-fastopt	add compiled js for github pages	2021-12-02 02:54:06 +01:00
build.sbt	Unify working. Unify output working. Ast output working, but ugly	2021-10-26 01:41:05 +02:00
default.min.css	Use highlight.js	2021-11-16 17:11:24 +01:00
highlight.min.js	Use highlight.js	2021-11-16 17:11:24 +01:00
index.css	Output typed classes. Filter constraints before inserting them as method generics	2021-11-17 06:39:26 +01:00
index.html	Calculate all possible solutions. Working state!	2021-12-01 16:58:27 +01:00