ieeemma/dependent-types issues and pull requests

#52 - 51 compilation tests

Pull Request - State: closed - Opened by ieeemma 7 months ago

#51 - Compilation tests

Issue - State: closed - Opened by ieeemma 7 months ago
Labels: Core, Backend, Tests

#50 - 49 standard library

Pull Request - State: closed - Opened by ieeemma 7 months ago

#49 - Standard library

Issue - State: closed - Opened by ieeemma 7 months ago
Labels: Core, Docs

#48 - feat(cli): read input file

Pull Request - State: closed - Opened by ieeemma 8 months ago

#47 - CLI

Issue - State: closed - Opened by ieeemma 8 months ago
Labels: Core, Frontend

#46 - 39 ski compilation

Pull Request - State: closed - Opened by ieeemma 8 months ago

#45 - 40 inference tests

Pull Request - State: closed - Opened by ieeemma 8 months ago

#44 - Implicit arguments

Issue - State: closed - Opened by ieeemma 9 months ago
Labels: Core, Sema

#43 - test(eval): unit tests

Pull Request - State: closed - Opened by ieeemma 10 months ago

#42 - Eval tests

Issue - State: closed - Opened by ieeemma 10 months ago
Labels: Core, Sema, Tests

#41 - 38-improved-error-messages

Pull Request - State: closed - Opened by ieeemma 10 months ago

#40 - Inference tests

Issue - State: closed - Opened by ieeemma 10 months ago
Labels: Core, Sema, Tests

#39 - SKI compilation

Issue - State: closed - Opened by ieeemma 10 months ago
Labels: Core, Backend

#38 - Improved error messages

Issue - State: closed - Opened by ieeemma 11 months ago
Labels: Core, Sema

#37 - 36-pretty-type-errors

Pull Request - State: closed - Opened by ieeemma 11 months ago

#36 - Pretty type errors

Issue - State: closed - Opened by ieeemma 11 months ago
Labels: Core, Frontend, Sema

#35 - 34 pattern matching checking

Pull Request - State: closed - Opened by ieeemma 11 months ago

#34 - Pattern matching checking

Issue - State: closed - Opened by ieeemma 11 months ago
Labels: Core, Sema

#33 - 32 simple inference

Pull Request - State: closed - Opened by ieeemma 11 months ago

#32 - Simple inference

Issue - State: closed - Opened by ieeemma 12 months ago
Labels: Core, Sema

#31 - 30-quote

Pull Request - State: closed - Opened by ieeemma 12 months ago

#30 - Quote

Issue - State: closed - Opened by ieeemma 12 months ago
Labels: Core, Sema

#29 - 28-evaluation

Pull Request - State: closed - Opened by ieeemma 12 months ago

#28 - Evaluation

Issue - State: closed - Opened by ieeemma 12 months ago
Labels: Core, Sema

#27 - 13-toplevel-parsing

Pull Request - State: closed - Opened by ieeemma 12 months ago

#26 - 25-simplified-parser

Pull Request - State: closed - Opened by ieeemma 12 months ago

#25 - Simplified parser

Issue - State: closed - Opened by ieeemma 12 months ago
Labels: Core, Frontend, Parsing, Tests

#24 - 17-parser-tests-wip

Pull Request - State: closed - Opened by ieeemma about 1 year ago

#23 - 14-source-location-tracking

Pull Request - State: closed - Opened by ieeemma about 1 year ago

#22 - 21-layout-parsing

Pull Request - State: closed - Opened by ieeemma about 1 year ago

#21 - Layout parsing

Issue - State: closed - Opened by ieeemma about 1 year ago
Labels: Core, Parsing

#20 - util: term pretty printer

Pull Request - State: closed - Opened by ieeemma about 1 year ago

#19 - Prettyprinting

Issue - State: closed - Opened by ieeemma about 1 year ago
Labels: Core, Frontend, Tests

#18 - 12 expression parsing

Pull Request - State: closed - Opened by ieeemma about 1 year ago

#17 - Parser tests

Issue - State: closed - Opened by ieeemma about 1 year ago
Labels: Core, Parsing, Tests

#16 - 9-ast

Pull Request - State: closed - Opened by ieeemma about 1 year ago

#15 - Infix operators

Issue - State: closed - Opened by ieeemma about 1 year ago
Labels: Core, Parsing

#14 - Source location tracking

Issue - State: closed - Opened by ieeemma about 1 year ago
Labels: Core, Parsing

#13 - Toplevel parsing

Issue - State: closed - Opened by ieeemma about 1 year ago
Labels: Core, Parsing

#12 - Expression parsing

Issue - State: closed - Opened by ieeemma about 1 year ago
Labels: Core, Parsing

#11 - 3-ci

Pull Request - State: closed - Opened by ieeemma about 1 year ago

#10 - 7-examples

Pull Request - State: closed - Opened by ieeemma about 1 year ago

#9 - AST

Issue - State: closed - Opened by ieeemma about 1 year ago
Labels: Core, Parsing

#8 - 6-readme

Pull Request - State: closed - Opened by ieeemma about 1 year ago

#7 - Examples

Issue - State: closed - Opened by ieeemma about 1 year ago
Labels: Core, Setup, Docs

#6 - Readme

Issue - State: closed - Opened by ieeemma about 1 year ago
Labels: Core, Setup, Docs

#5 - 2-testing-framework

Pull Request - State: closed - Opened by ieeemma about 1 year ago

#4 - project: initial setup

Pull Request - State: closed - Opened by ieeemma about 1 year ago

#3 - CI

Issue - State: closed - Opened by ieeemma about 1 year ago
Labels: Core, Setup

#2 - Testing framework

Issue - State: closed - Opened by ieeemma about 1 year ago
Labels: Core, Setup, Tests

#1 - Cabal project

Issue - State: closed - Opened by ieeemma about 1 year ago
Labels: Core, Setup

GitHub / ieeemma/dependent-types issues and pull requests