anoma/juvix
1
1
Fork 0
mirror of https://github.com/anoma/juvix.git synced 2024-12-13 11:16:48 +03:00
Code Issues Projects Releases Wiki Activity
477 Commits 53 Branches 39 Tags 21 MiB
24d741922e
Commit Graph

9 Commits

Author SHA1 Message Date
Jonathan Cubides
f9d9b10fc9
New target syntax and modular VP examples (#92) 
* New target syntax and modular VP examples

* [ .gitignore ] updated

* Fix spaces new lines

* Remove outdated lab folder
 2022-05-06 12:45:09 +02:00
Jonathan Cubides
2b4cc3ee36
Add automatically updates/issues/merged PRs to the changelog (#74) 
* [ .gitignore ] updated

* Add updated changelog waiting for new PRs

* Fixed minor typos
 2022-05-04 14:06:29 +02:00
Jan Mas Rovira
aa3052d230 delete and ignore .ghci 2021-12-28 17:20:36 +01:00
Jan Mas Rovira
cf82ce8a44 add syntax example (without usages). Adapt Language.hs 2021-12-24 18:58:20 +01:00
Jan Mas Rovira
c97a3943c5 remove cabal file 2021-12-23 10:59:17 +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
a56e4f4f89 [ .gitignore ] added agda folders 2021-11-11 18:26:02 +01:00
Jonathan Prieto-Cubides
8853b30cd5 Added agda ignores 2021-10-18 16:45:34 +02:00
Jonathan Prieto-Cubides
48abde93b4 First commit, initial project template. 2021-09-26 18:59:51 +02:00