Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

Move code into "src"

  • Loading branch information...
commit 6be09e95b6a90bc65d8f3d824daa1252fbbb060b 1 parent 866c2c4
Larry Diehl authored
View
2  README.md
@@ -47,7 +47,7 @@ Then add this to `Agda2 Include Dirs`:
## Running ##
Run the following to see this in action for [Lemmachine.Default](http://github.com/larrytheliquid/Lemmachine/blob/master/Lemmachine/Default.agda):
- agda -c -i . -i ./vendor/stdlib/src Lemmachine/Default.agda
+ agda -c --compile-dir=. --ghc-flag=-isrc -i src -i vendor/stdlib/src src/Lemmachine/Default.agda
./Default
In a separate terminal, see a `200` response:
View
0  Lemmachine.agda → src/Lemmachine.agda
File renamed without changes
View
0  Lemmachine/Default.agda → src/Lemmachine/Default.agda
File renamed without changes
View
0  Lemmachine/Default/Lemmas.agda → src/Lemmachine/Default/Lemmas.agda
File renamed without changes
View
0  Lemmachine/Default/Proofs.agda → src/Lemmachine/Default/Proofs.agda
File renamed without changes
View
0  Lemmachine/FFI.hs → src/Lemmachine/FFI.hs
File renamed without changes
View
0  Lemmachine/Lemmas.agda → src/Lemmachine/Lemmas.agda
File renamed without changes
View
0  Lemmachine/Request.agda → src/Lemmachine/Request.agda
File renamed without changes
View
0  Lemmachine/Resolve.agda → src/Lemmachine/Resolve.agda
File renamed without changes
View
0  Lemmachine/Resource.agda → src/Lemmachine/Resource.agda
File renamed without changes
View
0  Lemmachine/Resource/Configure.agda → src/Lemmachine/Resource/Configure.agda
File renamed without changes
View
0  Lemmachine/Resource/Universe.agda → src/Lemmachine/Resource/Universe.agda
File renamed without changes
View
0  Lemmachine/Response.agda → src/Lemmachine/Response.agda
File renamed without changes
View
0  Lemmachine/Response/Status.agda → src/Lemmachine/Response/Status.agda
File renamed without changes
View
0  Lemmachine/Runner.agda → src/Lemmachine/Runner.agda
File renamed without changes
View
0  Lemmachine/Spike.agda → src/Lemmachine/Spike.agda
File renamed without changes
View
0  Lemmachine/Utils.agda → src/Lemmachine/Utils.agda
File renamed without changes
Please sign in to comment.
Something went wrong with that request. Please try again.