valhallac

Compiler for set-theoretic programming language.
git clone git://git.knutsen.co/valhallac
Log | Files | Refs | README | LICENSE

ModeNameSize
-rw-r--r--.github/workflows/rust.yml386407328L
-rw-r--r--.gitignore386345229L
-rw-r--r--Cargo.toml386345261L
-rw-r--r--LICENSE.md386345928L
-rw-r--r--README.md386345397L
-rw-r--r--assets/logo.svg386408751L
-rw-r--r--assets/logo.svg.png44762B
-rw-r--r--assets/valhalla_compiler_layout.svg386408181L
-rw-r--r--assets/valhalla_compiler_layout.svg.png788504B
-rw-r--r--check.vh386345364L
-rw-r--r--current_compiler_test.md386345676L
-rw-r--r--empty.out35B
-rw-r--r--empty.vh0B
-rw-r--r--graph.png218724B
-rw-r--r--samples/ability.vh386425882L
-rw-r--r--samples/arith.vh386425888L
-rw-r--r--samples/call_tree.vh386425984L
-rw-r--r--samples/casting.vh386425964L
-rw-r--r--samples/colon.vh386426055L
-rw-r--r--samples/conditional.vh386426098L
-rw-r--r--samples/constant_folding.vh386426085L
-rw-r--r--samples/converting.vh386426179L
-rw-r--r--samples/currying_infix.vh386426180L
-rw-r--r--samples/declaration_v_test.vh386426237L
-rw-r--r--samples/equ_solve.vh386426323L
-rw-r--r--samples/fixity.vh386426300L
-rw-r--r--samples/func_apl.vh386426346L
-rw-r--r--samples/functions.vh386426389L
-rw-r--r--samples/hello_someone.vh386426421L
-rw-r--r--samples/hello_world.vh386426462L
-rw-r--r--samples/hello_world_function.vh386426511L
-rw-r--r--samples/indexed_set.vh386426584L
-rw-r--r--samples/juxtaposition.vh386426618L
-rw-r--r--samples/mapping.vh386426673L
-rw-r--r--samples/match.vh386426708L
-rw-r--r--samples/moduels.vh386426749L
-rw-r--r--samples/non-modules.vh386426783L
-rw-r--r--samples/peano.vh386426851L
-rw-r--r--samples/peano_implicit.vh386426854L
-rw-r--r--samples/pi.vh386426890L
-rw-r--r--samples/primes.vh386426921L
-rw-r--r--samples/product_type.vh386427046L
-rw-r--r--samples/raw_hello_world.vh386426989L
-rw-r--r--samples/set_comp.vh386427034L
-rw-r--r--samples/singleton.vh386427117L
-rw-r--r--samples/singleton_return.vh386427124L
-rw-r--r--samples/subsets.vh386427165L
-rw-r--r--samples/syntax.vh386427227L
-rw-r--r--samples/vect.vh386427258L
-rwxr-xr-xscripts/graph.sh386427843L
-rwxr-xr-xscripts/inspect.sh386427873L
-rw-r--r--src/bin.rs386428904L
-rw-r--r--src/compiler/block.rs386412084L
-rw-r--r--src/compiler/element.rs386411774L
-rw-r--r--src/compiler/instructions.rs386411911L
-rw-r--r--src/compiler/internal_functions.rs386411836L
-rw-r--r--src/compiler/marshal.rs386412019L
-rw-r--r--src/compiler/mod.rs386411865L
-rw-r--r--src/compiler/types.rs386411957L
-rw-r--r--src/issue.rs386429036L
-rw-r--r--src/lib.rs386428896L
-rw-r--r--src/site.rs386428964L
-rw-r--r--src/syntax/analysis/beta_reduction.rs0B
-rw-r--r--src/syntax/analysis/constant_fold.rs386413209L
-rw-r--r--src/syntax/analysis/mod.rs386413251L
-rw-r--r--src/syntax/analysis/type_balancer.rs386413337L
-rw-r--r--src/syntax/analysis/type_checker.rs386413434L
-rw-r--r--src/syntax/analysis/type_inference.rs0B
-rw-r--r--src/syntax/analysis/type_resolver.rs386413903L
-rw-r--r--src/syntax/ast.rs386410625L
-rw-r--r--src/syntax/lexer.rs386410263L
-rw-r--r--src/syntax/location.rs386410034L
-rw-r--r--src/syntax/mod.rs386410130L
-rw-r--r--src/syntax/operators.rs386410220L
-rw-r--r--src/syntax/parser.rs386410496L
-rw-r--r--src/syntax/token.rs386410310L
-rw-r--r--static/build.rs386414174L
-rw-r--r--static/read_version.rs386414245L
-rw-r--r--test_source-release.out90B
-rw-r--r--test_source.out122B
-rw-r--r--test_source.vh386345808L
-rw-r--r--tests/Cargo.toml386414836L
-rw-r--r--tests/README.md386414876L
-rw-r--r--tests/expect_fail/bad_paren.vh386415595L
-rw-r--r--tests/expect_fail/invalid_operations_1.vh386415653L
-rw-r--r--tests/expect_fail/no_such_operator.vh386415687L
-rw-r--r--tests/expect_success/arith_1.vh386416475L
-rw-r--r--tests/expect_success/arith_2.vh386416515L
-rw-r--r--tests/expect_success/arith_3.vh386416555L
-rw-r--r--tests/expect_success/auto_function.vh386416615L
-rw-r--r--tests/expect_success/io_1.vh386416636L
-rw-r--r--tests/expect_success/semi-colon.vh386416666L
-rw-r--r--tests/src/main.rs386419201L