agda2train 0.0.1.0 → 0.0.2.0
raw patch · 2 files changed
+32/−4 lines, 2 files
Files
- README.md +25/−1
- agda2train.cabal +7/−3
README.md view
@@ -1,7 +1,31 @@ agda2train: An Agda backend to generate training data for machine learning ===========================================================================+[](https://github.com/omelkonian/agda2train/actions) [](http://hackage.haskell.org/package/agda2train) -This is a work in progress.+This is work in progress and a neural network trained on these data to provide+*premise selection* is under way.++## How to run++The `agda2train` package is published on Hackage, so one can simply:+```bash+$ cabal install agda2train+$ agda2train SomeFile.agda+```++Alternatively, assuming a working Haskell installation (`cabal` available),+one can clone this repo and use the provided Makefile to build the package locally,+as well as run our test suite:+```bash+$ git clone git@github.com:omelkonian/agda2train.git+$ cd agda2train+$ make build # build package+$ make install # install `agda2train` executable+$ make test # run the test-suite (based on golden files in `test/golden/*`)+$ make repl # REPL for developers+$ make allTests # extract JSON data from all example files in `test/*`+$ make stdlib # extract JSON data from Agda's standard library+``` ## Relevant Agda issues
agda2train.cabal view
@@ -1,13 +1,17 @@ cabal-version: 2.4 name: agda2train-version: 0.0.1.0+version: 0.0.2.0 synopsis: Agda backend to generate training data for machine learning purposes.-description: -+description:+ Compiles Agda modules to JSON files, containing information about+ the imported scope of each module, its definitions and information about each+ sub-term appearing in the code (i.e. context, goal type, term).+ category: Agda, machine learning author: Orestis Melkonian maintainer: melkon.or@gmail.com stability: experimental-homepage: http://github.com/omelkonian/agda2train/+homepage: https://github.com/omelkonian/agda2train/ bug-reports: https://github.com/omelkonian/agda2train/issues license: BSD-3-Clause license-file: LICENSE