Jam-Programming-Language-master.zip （33个子文件） 
Jam-Programming-Language-master src testing 
Tester.java 891B jam core typing BooleanType.java 358B RealType.java 348B Type.java 651B ConstraintSet.java 2KB TypeContext.java 1KB IntegerType.java 353B AlphaType.java 780B ListType.java 1KB ArrowType.java 803B syntax UnaryOperation.java 1KB Variable.java 1KB Boolean.java 1KB BinaryOperator.java 1KB Empty.java 661B Function.java 1KB Int.java 3KB If.java 2KB BinaryOperation.java 3KB Binding.java 571B Recursion.java 1KB Real.java 3KB Keyword.java 548B Application.java 1KB Expression.java 1KB Value.java 246B UnaryOperator.java 1KB Evaluable.java 145B Let.java 2KB parser Parser.java 4KB .gitignore 2KB README.md 392B .gitattributes 483B资源评论
