anoma/juvix
1
1
Fork 0
mirror of https://github.com/anoma/juvix.git synced 2025-01-05 22:46:08 +03:00
Code Issues Projects Releases Wiki Activity
383 Commits 57 Branches 40 Tags 22 MiB
6bcd62a4d6
Commit Graph

14 Commits

Author SHA1 Message Date
Jonathan Prieto-Cubides
02474c837f [ Makefile ] add targets with --watch option (stack cmds) and remove unused things 2022-03-25 00:50:18 +01:00
Paul Cadman
903ef6a59b [make] add .PHONY to Makefile targets 2022-03-23 11:13:28 +00:00
Jan Mas Rovira
1a23adc762 add references to the syntax and cleanup code 2022-03-23 11:40:03 +01:00
Jonathan Prieto-Cubides
ee3d73306d [ Makefile ] Adds Template haskell flag for Ormulu 2022-03-18 10:43:56 +01:00
Jonathan Prieto-Cubides
722491048f [ Makefile ] fixies for make prepare-push target 2021-12-30 09:56:58 -05:00
Jonathan Prieto-Cubides
5c3b3d3ad6 [ docs ] added ways to have the docs locally using pandoc 2021-12-04 14:17:49 +01:00
Jonathan Prieto-Cubides
c51bd67095 [ ci ] installer newer haskell version, agda, agda2hs and build all. 2021-12-04 13:25:15 +01:00
Jonathan Prieto-Cubides
4d4ece5590 WIP. Adapting source code from heliaxdev/juvix for parsing purposes. 2021-11-11 20:08:49 +01:00
Jonathan Prieto-Cubides
f18fca0e56 w.i.p. 2021-11-09 14:13:40 +01:00
Jonathan Prieto-Cubides
374e5a08ce [ Makefile ] added "prepare-push" to call hlint, ormolu, and check line witdh. 2021-10-30 11:51:42 +02:00
Jonathan Prieto-Cubides
34cb092a5b [ Makefile ] added build commands, taken from Juvix. 2021-10-26 14:44:54 +02:00
Jonathan Prieto-Cubides
88bf127a75 Add relevancy data type. 2021-10-19 10:09:25 +02:00
Jonathan Prieto-Cubides
a2dfce55c8 [ Makefile ] added formula agda2hs ./src/MiniJuvix/Syntax/Core.agda -o src -X UnicodeSyntax 
Writing src/MiniJuvix/Syntax/Core.hs for Core.hs
 2021-10-18 19:25:26 +02:00
Jonathan Prieto-Cubides
48abde93b4 First commit, initial project template. 2021-09-26 18:59:51 +02:00