Frege compiler/library as an OSGi bundle
Shell
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
LICENSE.txt
README.md
pom.xml
setup-head.sh
setup.sh

README.md

The project contains the released Frege compiler and standard library package as an OSGi bundle and can be used wherever you require frege ( maven, ivy, sbt etc. ).

Version

  • 3.23.422-ga05a487

Maven

<dependency>
  <groupId>com.theoryinpractise.frege</groupId>
  <artifactId>frege</artifactId>
  <version>${frege.version}</version>
</dependency>