8000 Commits · mrcryptooo/juvix · GitHub

More Web Proxy on the site http://driver.im/

Commits

Commits on Dec 15, 2023

Commits on Dec 10, 2023

Fix benchmarks test compilation (#2552)
paulcadman
authored

Commits on Dec 7, 2023

Commits on Dec 6, 2023

Read `Package` on demand and cache it (#2548)
janmasrovira
authored

Commits on Nov 30, 2023

Add dependent defaults for the new typechecker (#2541)
janmasrovira
authored
Extract builtin definitions for loading a Package into bundled package-base package (#2535)
paulcadman
authored
Add new case for positivity checker: type cannot occur as arg of bound var (#2542)
jonaprieto
authored

Commits on Nov 28, 2023

Commits on Nov 27, 2023

Commits on Nov 24, 2023

Fix location for aliases (#2536)
jonaprieto
authored

Commits on Nov 23, 2023

Add non-dependent default values to the new typechecking algorithm (#2516)
janmasrovira
authored

Commits on Nov 22, 2023

Update the Juvix lock file when the Package file changes (#2522)
paulcadman
authored

Commits on Nov 21, 2023

Fix the global 'package' package so that modules within it can be type-checked independently (#2526)
paulcadman
authored

Commits on Nov 17, 2023

Commits on Nov 16, 2023

Commits on Nov 15, 2023

General inductive parameters (#2506)
janmasrovira
authored

Commits on Nov 13, 2023

Commits on Nov 12, 2023

Interleave arity and typechecking (#2481)

janmasrovira
and
lukaszcz
authored

Commits on Nov 10, 2023

Commits on Nov 8, 2023

Commits on Nov 7, 2023

0