jar

ai.acyclic.shapesafe : shapesafe-macro_2.13

Maven & Gradle

Jun 02, 2022

1 usages

26 stars

shapesafe · SHAPE/S∀F∃: static prover/type-checker for N-D array programming in Scala, a use case of intuitionistic type theory

Homepage Readme Maven Central

Table Of Contents

Latest Version
All Versions
View Java Class Source Code in JAR file

Latest Version

Download ai.acyclic.shapesafe : shapesafe-macro_2.13 JAR file - Latest Versions:

Latest Stable: 0.1.4.jar

All Versions

Download ai.acyclic.shapesafe : shapesafe-macro_2.13 JAR file - All Versions:

Version	Vulnerabilities	Size	Updated
0.1.x	shapesafe-macro_2.13-0.1.4.jar		74.19 KB	Jun 02, 2022
shapesafe-macro_2.13-0.1.3.jar		74.19 KB	Mar 27, 2022
shapesafe-macro_2.13-0.1.2.jar		74.19 KB	Mar 26, 2022
shapesafe-macro_2.13-0.1.1.jar		73.43 KB	Feb 12, 2022
shapesafe-macro_2.13-0.1.0.jar		73.43 KB	Feb 07, 2022

Version

Vulnerabilities

Size

Updated

0.1.x

shapesafe-macro_2.13-0.1.4.jar

74.19 KB

Jun 02, 2022

shapesafe-macro_2.13-0.1.3.jar

74.19 KB

Mar 27, 2022

shapesafe-macro_2.13-0.1.2.jar

74.19 KB

Mar 26, 2022

shapesafe-macro_2.13-0.1.1.jar

73.43 KB

Feb 12, 2022

shapesafe-macro_2.13-0.1.0.jar

73.43 KB

Feb 07, 2022

View Java Class Source Code in JAR file

Download JD-GUI to open JAR file and explore Java source code file (.class .java)
Click menu "File → Open File..." or just drag-and-drop the JAR file in the JD-GUI window shapesafe-macro_2.13-0.1.4.jar file.
Once you open a JAR file, all the java classes in the JAR file will be displayed.

shapesafe.m

├─ shapesafe.m.Emit.class - [JAR]

├─ shapesafe.m.GenericMsgEmitter.class - [JAR]

├─ shapesafe.m.MWithReflection.class - [JAR]

├─ shapesafe.m.PeerType.class - [JAR]

├─ shapesafe.m.package.class - [JAR]

shapesafe.m.issue

├─ shapesafe.m.issue.EmitMsg.class - [JAR]

shapesafe.m.viz

├─ shapesafe.m.viz.KindVizCT.class - [JAR]

├─ shapesafe.m.viz.PeekCT.class - [JAR]

├─ shapesafe.m.viz.TypeVizCT.class - [JAR]