Giters
lurk-lab
/
yatima-lang-alpha
A programming language for the decentralized web
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
448
Watchers:
10
Issues:
32
Forks:
19
lurk-lab/yatima-lang-alpha Issues
Nix build fails on macOS
Closed
a year ago
yatima_core panics on particular input with unfree variable
Closed
a year ago
Comments count
1
IO runtime support
Closed
a year ago
Assess safety of negative De Bruijn offset technique in `type` def elaborator
Closed
a year ago
Web REPL bugs and improvements
Closed
a year ago
Comments count
2
JS-IPFS integration in the Web REPL
Closed
a year ago
Overflowing stack on large pure lambda encodings
Closed
a year ago
Comments count
1
Remove recursion in the DAG functions
Closed
a year ago
Comments count
2
Position range printing
Closed
a year ago
inverse primops
Closed
a year ago
Rust panic message on parse error
Closed
a year ago
WASM runtime explorations
Closed
a year ago
Comments count
2
Integrate with Substrate by making yatima_core no_std (using the sp_std lib)
Closed
3 years ago
Comments count
2
npm start fails with Error: Cannot find module 'webpack-cli/bin/config-yargs'
Closed
3 years ago
ipfs::tests::test_get_boolya blocks if the local ipfs node doesn't have the Cid
Closed
3 years ago
Supress `Pos` printing in Debug trait of Term
Closed
3 years ago
Restore graph visualizer
Closed
3 years ago
Comments count
1
Literal Test Suite
Closed
3 years ago
Comments count
1
Add explicit `dyn` to `sp_im` ConsList library
Closed
3 years ago
Comments count
3
Immutable sp_std ConsList to improve Parser performance
Closed
3 years ago
Segfault when case matching on lambda-encoding containing primitives
Closed
3 years ago
Comments count
1
Include HelloWorld.ya sample
Closed
3 years ago
Comments count
1
Negative index when case matching
Closed
3 years ago
Comments count
3
Replace String with Rc<str> or other data structure for tracking names in parser and checker
Closed
3 years ago
Rec not printing correct name in some cases
Closed
3 years ago
Comments count
1
Fork multibase and nom_locate to disable std default feature in Cargo.toml
Closed
3 years ago
Segfault when checking Is.is annotated
Closed
3 years ago
Comments count
1
CI is broken on main
Closed
3 years ago
Comments count
1
Cargo check fails in github CI
Closed
3 years ago
Comments count
5
Relation to the language Kind?
Closed
3 years ago
Comments count
2
Clean up all cargo warnings and enable cargo check in the CI
Closed
3 years ago
Comments count
2
Problem with parsing Bool.ya
Closed
3 years ago
Comments count
3