grin-compiler/grin
1
1
Fork 0
mirror of https://github.com/grin-compiler/grin.git synced 2024-09-11 07:25:28 +03:00
Code Issues Projects Releases Wiki Activity
1,135 Commits 87 Branches 2 Tags 23 MiB
8639a9acc4
Commit Graph

6 Commits

Author SHA1 Message Date
Anabra
3711138a8f Reverted back to old arity raising 
The corresponding test case passes this way.
 2018-11-25 01:07:57 +01:00
Philipp Hausmann
63822ef9cd WIP: Agda backend prototype 2018-06-09 15:43:32 +02:00
Andor Penzes
cb5839c801 Create frontend-test directory. 2018-04-14 17:15:39 +02:00
Csaba Hruska
6e51acbd3a some work on extend HPT to infer LLVM types 2018-01-08 18:25:51 +01:00
Andor Penzes
a54807c457 Output directory. 2017-12-06 00:50:47 +01:00
Andor Penzes
9861a5dc6b Initial commit 2017-06-23 22:18:06 +02:00