Loreon
Labs
Platform
Docs
Home
Ecosystems
Idris
idris2-node
kbertalan/idris2-node
Idris
Emerging
GitHub
Stars
4
Forks
2
Contributors
3
Last push
10mo ago
Recent commits
Latest commits.
Merge pull request #4 from spcfox/bindvar-name
fb80b36
kbertalan
10mo ago
[ upstream ] Support `Name` in `IBindVar`
a9681e1
Viktor Yudov
13mo ago
Merge pull request #3 from andrevidela/fix-elab
03a7a07
kbertalan
19mo ago
fix for upstream elab api
407cde8
André Videla
19mo ago
switch to pack
baf9f01
Bertalan Kis
26mo ago
add nix flake environment
e76458d
Bertalan Kis
26mo ago
update expected outputs for latest idris2 version
917e6cb
Bertalan Kis
44mo ago
mark individual functions related to class interfaces as unsafe, including ErrorClass related functions too
73254a8
Bertalan Kis
46mo ago
Top contributors
Builders behind this project.
kbertalan
40 commits
andrevidela
1 commits
spcfox
1 commits
