anoma/juvix
1
1
Fork 0
mirror of https://github.com/anoma/juvix.git synced 2024-12-15 18:13:56 +03:00
Code Issues Projects Releases Wiki Activity
810 Commits 53 Branches 39 Tags 21 MiB
151bba5113
Commit Graph

810 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Jonathan Prieto-Cubides
9b2a1d3913 [ notes ] added small example code 2021-10-19 19:27:02 +02:00
Jonathan Prieto-Cubides
ae664ca555 [ src ] Added Core.hs 2021-10-18 19:26:15 +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
3fc204bb95 [ agda ] added syntax for bitypechcking. 2021-10-18 19:24:21 +02:00
Jonathan Prieto-Cubides
c9b0ed5416 Minor additions 2021-10-18 19:21:30 +02:00
Jonathan Prieto-Cubides
8853b30cd5 Added agda ignores 2021-10-18 16:45:34 +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 Cubides
c8049d697f
[ README ] fixed layout 2021-09-26 19:06:22 +02:00
Jonathan Prieto-Cubides
48abde93b4 First commit, initial project template. 2021-09-26 18:59:51 +02:00