dannypsnl/violet-legacy issues and pull requests

#112 - fix: update record syntax in README

Pull Request - State: closed - Opened by CYBAI over 1 year ago

#111 - feat: change record syntax to define with `where` instead of braces

Pull Request - State: closed - Opened by CYBAI over 1 year ago

#110 - pair projection syntax, semantic, and evaluation

Pull Request - State: closed - Opened by dannypsnl over 1 year ago

#104 - resolve recursive definition

Pull Request - State: closed - Opened by dannypsnl over 1 year ago

#95 - sigma type & pair

Pull Request - State: closed - Opened by dannypsnl over 1 year ago

#92 - Sigma type & pair

Pull Request - State: closed - Opened by dannypsnl over 1 year ago

#88 - elaboration

Pull Request - State: closed - Opened by dannypsnl over 1 year ago

#87 - Lean: parser

Pull Request - State: closed - Opened by dannypsnl almost 2 years ago

#85 - [module_system] propagate check state while building multiple modules

Pull Request - State: closed - Opened by rayshih almost 2 years ago

#84 - `.vtt` format concept

Pull Request - State: closed - Opened by dannypsnl almost 2 years ago - 2 comments

#81 - Correct a typo in Lexer.idr

Pull Request - State: closed - Opened by felixonmars almost 2 years ago

#79 - check modules in topological order

Pull Request - State: closed - Opened by rayshih almost 2 years ago

#78 - [module_system] traverse and parse all dependent modules

Pull Request - State: closed - Opened by rayshih about 2 years ago - 3 comments

#77 - `def` elim syntax sugar

Pull Request - State: closed - Opened by CYBAI about 2 years ago
Labels: enhancement

#76 - Add import syntax

Pull Request - State: closed - Opened by rayshih about 2 years ago

#74 - elaboration: implicit parameter

Pull Request - State: closed - Opened by dannypsnl about 2 years ago - 1 comment

#71 - `elim` multiple targets

Pull Request - State: closed - Opened by dannypsnl about 2 years ago

#69 - separate global & local environment for recursive

Pull Request - State: closed - Opened by dannypsnl about 2 years ago

#68 - separate global & local environment for recursive

Pull Request - State: closed - Opened by dannypsnl about 2 years ago

#66 - group parameters

Pull Request - State: closed - Opened by dannypsnl about 2 years ago

#63 - more carefulness top-level syntax

Pull Request - State: closed - Opened by dannypsnl about 2 years ago

#59 - pretty non-dependent Π type

Pull Request - State: closed - Opened by dannypsnl about 2 years ago

#58 - semantic of `elim`

Pull Request - State: closed - Opened by dannypsnl about 2 years ago

#56 - prepare parser state for future work

Pull Request - State: closed - Opened by dannypsnl about 2 years ago - 3 comments

#55 - cache nix store

Pull Request - State: closed - Opened by shana0440 about 2 years ago

#54 - new data-type syntax & reorganize top-level checking

Pull Request - State: closed - Opened by dannypsnl about 2 years ago - 1 comment

#53 - indexed type

Pull Request - State: closed - Opened by dannypsnl about 2 years ago

#52 - add github action

Pull Request - State: closed - Opened by shana0440 about 2 years ago

#49 - introduce import syntax (only the syntax)

Pull Request - State: closed - Opened by rayshih about 2 years ago

#48 - cli: REPL

Pull Request - State: closed - Opened by dannypsnl about 2 years ago - 1 comment

#46 - test auto assign

Pull Request - State: closed - Opened by dannypsnl about 2 years ago

#45 - elimination parsing, syntax & core term

Pull Request - State: closed - Opened by CYBAI about 2 years ago - 1 comment

#44 - misc

Pull Request - State: closed - Opened by dannypsnl about 2 years ago - 1 comment

#43 - nix flakes

Pull Request - State: closed - Opened by dannypsnl about 2 years ago

#40 - pretty error report's output

Pull Request - State: closed - Opened by dannypsnl about 2 years ago

#39 - Top level syntax

Pull Request - State: closed - Opened by rayshih about 2 years ago - 5 comments

#37 - alternative syntax

Pull Request - State: closed - Opened by shana0440 about 2 years ago - 1 comment

#34 - dollar sign expression

Pull Request - State: closed - Opened by dannypsnl about 2 years ago

#30 - `data` syntax parsing & transformation

Pull Request - State: closed - Opened by dannypsnl about 2 years ago

#28 - Replace Lightyear in parser

Pull Request - State: closed - Opened by shana0440 about 2 years ago

#27 - Add more lexer

Pull Request - State: closed - Opened by shana0440 about 2 years ago

#22 - idris implementation

Pull Request - State: closed - Opened by dannypsnl about 2 years ago - 1 comment

#21 - new syntax

Pull Request - State: closed - Opened by dannypsnl about 2 years ago

#20 - add debug-llvm flag to compile command

Pull Request - State: closed - Opened by shana0440 about 2 years ago

#19 - implement build command

Pull Request - State: closed - Opened by shana0440 over 2 years ago

#13 - Handle compile command

Pull Request - State: closed - Opened by shana0440 over 2 years ago - 1 comment

#12 - Setup command line interface

Pull Request - State: closed - Opened by shana0440 over 2 years ago - 2 comments

#4 - fix ci

Pull Request - State: closed - Opened by dannypsnl over 2 years ago

GitHub / dannypsnl/violet-legacy issues and pull requests