anoma/juvix
1
1
Fork 0
mirror of https://github.com/anoma/juvix.git synced 2024-12-26 17:13:35 +03:00
Code Issues Projects Releases Wiki Activity
59 Commits 51 Branches 40 Tags 22 MiB
2203a39f4a
Commit Graph

9 Commits

Author SHA1 Message Date
Jonathan Prieto-Cubides
c2e94be3fc [ ci ] commenting haskell build for now 2021-12-04 14:42:19 +01:00
Jonathan Prieto-Cubides
2c74703716 Fixing ci, remove md file 2021-12-04 14:38:28 +01:00
Jonathan Prieto-Cubides
24d8c5028b Fixing ci 2021-12-04 14:24:04 +01: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 Cubides
24913eaebf
Add CI to the qtt branch 2021-10-26 15:09:39 +02:00
Jonathan Prieto-Cubides
17776532a7 Delete ci.yml 
[ README ] Added CI badge
Update README.md
Update README.md
Update README.md
Update README.md
Update README.md
 2021-09-26 19:29:17 +02:00
Jonathan Cubides
e66724535d
Create haskell.yml 2021-09-26 19:07:26 +02:00
Jonathan Prieto-Cubides
48abde93b4 First commit, initial project template. 2021-09-26 18:59:51 +02:00